Urzyczyn, Paweł.
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / [electronic resource] : edited by Paweł Urzyczyn. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3461 0302-9743 ; . - Lecture Notes in Computer Science, 3461 .
9783540320142
10.1007/b135690 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 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings / [electronic resource] : edited by Paweł Urzyczyn. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - digital. - Lecture Notes in Computer Science, 3461 0302-9743 ; . - Lecture Notes in Computer Science, 3461 .
9783540320142
10.1007/b135690 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