Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien.
By: Curien, Pierre-Louis.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 5608.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Description: digital.ISBN: 9783642022739.Subject(s): Computer science | Logic design | Algebra -- Data processing | Electronic data processing | Logic, Symbolic and mathematical | Computer Science | Mathematical Logic and Formal Languages | Mathematics of Computing | Logics and Meanings of Programs | Symbolic and Algebraic Manipulation | Computing Methodologies | Mathematical Logic and FoundationsDDC classification: 005.131 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.