Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings /

Typed lambda calculi and applications : 9th international conference, TLCA 2009, Brasília, Brazil, July 1-3, 2009 : proceedings /

Show other versions (2)
Bibliographic Details
Corporate Author: International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil
Other Authors: Curien, P.-L (Pierre-Louis)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; New York : Springer-Verlag, ©2009
Series:LNCS sublibrary Theoretical computer science and general issues.
Lecture notes in computer science ; 5608
Subjects:
Lambda calculus > Congresses
Lambda-calcul > Congrès
Informatique
Lambda calculus
Electronic books
Conference papers and proceedings

Internet

This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.

Stanford University

Holdings details from Stanford University
Call Number: INTERNET RESOURCE

Similar Items