An edition of Typed lambda calculi and applications (1997)
Typed Lambda Calculi and Applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, ... (Lecture Notes in Computer Science)
By International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
April 18, 1997
Publisher
Springer
Language
eng
Pages
405
Description: