Typed Lambda Calculi and Applications
Ong, Luke.
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / [electronic resource] : edited by Luke Ong. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6690 0302-9743 ; .
9783642216916
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
Typed Lambda Calculi and Applications 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings / [electronic resource] : edited by Luke Ong. - Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011. - v.: digital - Lecture Notes in Computer Science, 6690 0302-9743 ; .
9783642216916
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