Typed Lambda Calculi and Applications
Subtitle: Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April ... (Lecture Notes in Computer Science)
Contributors: Mariangiola Dezani-Ciancaglini (Editor); Gordon Plotkin (Editor)
Publisher: Springer
Published: March 1995
Language: eng
Format: Paperback
Number of pages: 442
ISBN-13: 9783540590484
Subjects: Mathematical logic; Mathematical theory of computation; Mathematics; Computer Logic; Mathematics (Specific Aspects); Science/Mathematics; Logic; Logic Design; Programming - General; Congresses; Lambda calculus
First sentence: In [Lam90], Lamping proposed a complex graph reduction technique for the A-calculus that was optimal in the sense of Levy [Le78].