Cover Image

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Typed Lambda Calculi and Applications Kraków, Poland
Other Authors: Abramsky, Samson, 1953-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2001]
Series:Lecture notes in computer science. 2044.
Subjects:
Lambda calculus > Congresses.

Remote Storage

Holdings details from Remote Storage
Call Number: QA9.5 .I58 2001
 
Call Number Status Get It
QA9.5 .I58 2001 Available