Typed lambda calculi and applications
Subtitle: Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
By: Philippe de Groote, J. Roger Hindley (eds.).
Contributors: De Groote, Philippe.; Hindley, J. Roger.
Series: Lecture notes in computer science ;; 1210
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 404
Subjects: Lambda calculus -- Congresses
Notes: Includes bibliographical references and index.