Typed Lambda Calculi and Applications
Subtitle: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings
By: edited by Luke Ong
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6690
Publisher: Springer-Verlag GmbH Berlin Heidelberg
Published: 2011
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642216909; 9783642216916
Subjects: Logic design; Symbolic and mathematical Logic; Computer science; Data processing; Algebra; Electronic data processing