Typed Lambda Calculi and Applications
Masahito Hasegawa
Typed Lambda Calculi and Applications - Springer 2013 - Lecture Notes in Computer Science .
9783642389467
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 - Springer 2013 - Lecture Notes in Computer Science .
9783642389467
Mathematical Logic and Formal Languages; Mathematics of Computing; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation; Computing Methodologies; Mathematical Logic and Foundations