Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings edited by Pawel Urzyczyn. [Recurso electrónico] /
Urzyczyn, Pawel.
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings [Recurso electrónico] / edited by Pawel Urzyczyn. - Berlin Heidelberg : Springer-Verlag GmbH., 2005 - v.: digital - Lecture Notes in Computer Science, 3461 0302-9743 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783540320142
Computer science
Computer science
Computer science
Logic design
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings [Recurso electrónico] / edited by Pawel Urzyczyn. - Berlin Heidelberg : Springer-Verlag GmbH., 2005 - v.: digital - Lecture Notes in Computer Science, 3461 0302-9743 ; .
Restringido a usuarios de la UCA
Modo de acceso: World Wide Web
9783540320142
Computer science
Computer science
Computer science
Logic design
Computer Science
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Languages, Compilers, Interpreters
Programming Techniques