Curien, Pierre-Louis.
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / [electronic resource] : edited by Pierre-Louis Curien. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5608 0302-9743 ; . - Lecture Notes in Computer Science, 5608 .
9783642022739
10.1007/978-3-642-02273-9 doi
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 Foundations.
QA8.9-QA10.3
005.131
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / [electronic resource] : edited by Pierre-Louis Curien. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. - digital. - Lecture Notes in Computer Science, 5608 0302-9743 ; . - Lecture Notes in Computer Science, 5608 .
9783642022739
10.1007/978-3-642-02273-9 doi
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 Foundations.
QA8.9-QA10.3
005.131