Typed Lambda Calculi and Applications
Subtitle: 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2003
Language: eng
Format: Paperback
Number of pages: 317
ISBN-13: 9783540403326
Subjects: Mathematical logic; Programming - General; Lambda calculus; Computers; Mathematics; Science/Mathematics; Programming Languages - General; Logic; Mathematics / Logic; General; Congresses