Typed lambda calculi and applications : 9th International Conference, TICA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Typed Lambda Calculi and Applications Brasilla, Brazil
Other Authors: Curien, Pierre-Louis (ed.)
Format: Conference Proceeding Book
Language:English
Published: Berlin ; Springer, c2009.
Series:Lecture notes in computer science, v. 5608
LNCS ; v. 5608
Subjects:
Description
Physical Description:xiii, 415 p. : il. ; 24 cm.
Bibliography:Incluye referencias bibliográficas e índice.
ISBN:9783642022722
ISSN:0302-9743 ;