Typed Lambda Calculi and Applications
Subtitle: International Conference on Typed Lambda Calculi and Applications, Tlca '93, March 16-18, 1993, Utrecht, the Ne (Research Notes in Neural Computing)
Contributors: Marc Bezem (Editor); Jan F. Groote (Editor); M. Bezem (Other Contributor)
Publisher: Springer
Published: April 1993
Language: eng
Format: Paperback
Number of pages: 433
ISBN-13: 9783540565178
Subjects: Mathematical logic; Mathematical theory of computation; Logic; Logic Design; Programming - General; Mathematics