Normal view MARC view ISBD view

Typed Lambda Calculi and Applications

Rocca, Simona Ronchi.

Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / [electronic resource] : edited by Simona Ronchi Rocca. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007. - v.: digital - Lecture Notes in Computer Science, 4583 0302-9743 ; .

ISBN: 9783540732280

Subjects--Topical Terms:
Computer science
Logic design
Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
Programming Languages, Compilers, Interpreters

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)