Typed Lambda Calculi and Applications
Subtitle: 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Paperback
Number of pages: 433
ISBN-13: 9783540255932
Subjects: Computing and Information Technology; Programming Languages - General; Logic Design; Computers; Mathematics; Computer Books: Languages; Logic; Programming - General; Mathematics / Logic; categorical methods; computational logic; deduction; formal methods; logical relations; program logics; Congresses; Congráes; Lambda calculus; Lambda-calcul