Cover Image
Read Now

Typed Lambda Calculi and Applications 5th International Conference, TLCA 2001 Kraków, Poland, May 2–5, 2001 Proceedings

Bibliographic Details
Main Author: Abramsky, Samson
Format: eBook
Published: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2001
Series:Lecture Notes in Computer Science
Subjects:
Computer Science
Logic Design
Logic, Symbolic And Mathematical
Logics And Meanings Of Programs
Mathematical Logic And Formal Languages
Mathematical Logic And Foundations
Programming Languages, Compilers, Interpreters
Programming Techniques
Online Access:
Collection: Lecture Notes in Computer Science - Collection details see MPG.ReNa
Description
Physical Description:v. digital
ISBN:9783540454137
978-3-540-41960-0

Similar Items