Typed Lambda Calculi and Applications
Subtitle: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 19983 Utrecht, the N (Lecture Notes in Computer Science)
Contributors: J. F. Groote (Editor)
Publisher: Springer
Published: April 1993
Language: eng
Number of pages: 441
ISBN-13: 9780387565170