Rocca, Simona Ronchi.
Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / [electronic resource] : edited by Simona Ronchi Rocca. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4583 0302-9743 ; . - Lecture Notes in Computer Science, 4583 .
9783540732280
10.1007/978-3-540-73228-0 doi
Computer science.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
QA8.9-QA10.3
005.131
Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings / [electronic resource] : edited by Simona Ronchi Rocca. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007. - digital. - Lecture Notes in Computer Science, 4583 0302-9743 ; . - Lecture Notes in Computer Science, 4583 .
9783540732280
10.1007/978-3-540-73228-0 doi
Computer science.
Logic design.
Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
QA8.9-QA10.3
005.131