Normal view MARC view ISBD view

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

Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ [electronic resource] : TICA 2009 edited by Pierre-Louis Curien. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - xiii, 415 p. : ill., digital ; 24 cm. - Lecture notes in computer science, 5608 0302-9743 ; .

ISBN: 9783642022739 (electronic bk.)

Subjects--Topical Terms:
Lambda calculus--Congresses.
Mathematical Logic and Formal Languages.
Symbolic and Algebraic Manipulation.
Computing Methodologies.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer Science.
Mathematical Logic and Foundations.

LC Class. No.: QA9.5 / .I58 2009

Dewey Class. No.: 511.3

Print
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)

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

Contact Us

Copyright ©The National University of Malaysia Library