Reading Length
Home
Speed Tests
Login
International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
Identifiers
Open Library
OL383981A
Top Subjects
Lambda calculus -- Congresses (1)
Books by International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
Total count: 1
Typed lambda calculi and applications
Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings
Springer
1997-01-01
