Typed Lambda Calculi and Applications
Subtitle: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science)
Contributors: Philippe de Groote (Editor); J. Roger Hindley (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 18, 1997
Language: eng
Format: Paperback
Number of pages: 405
ISBN-13: 9783540626886
Subjects: Computer Programming; Mathematical logic; Mathematical theory of computation; Mathematical And Symbolic Logic; Philosophy Of Mathematics; Mathematics; Science/Mathematics; Programming - General; General; Logic; Logic Design; Lambda calculi; Lambda-Kalküle; Mathematics / Logic; Programmierlogik; Programmiersprachen; Semantische Techniken; Typensysteme; Congresses; Lambda calculus
First sentence: We often find some translations from -calculus to combinatory logic (CL) provide a pleasing viewpoint in the study of -calculus.