An edition of Typed lambda calculi and applications (1995)
Typed Lambda Calculi and Applications
Second International Conference on Typed Lambda Calculi and Applications, Tlca '95, Edinburgh, United Kingdom, April ... (Lecture Notes in Computer Science)
By International Conference on Typed Lambda Calculi and Applications (2nd 1995 Edinburgh, Scotland)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
March 1995
Publisher
Springer
Language
eng
Pages
442
Description:
subjects: Congresses, Lambda calculus, Calculus