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-Verlag Berlin Heidelberg, 2007.
- v.: digital
- Lecture Notes in Computer Science, 4583 0302-9743 ; .
9783540732280
Computer science
Logic design
Computer Science
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Programming Techniques
Programming Languages, Compilers, Interpreters