Title: Typed Lambda Calculi And Applications 9th International Conference Tica 2009 Brasilia Brazil July 13 2009 Proceedings
Subjects: Logic design, Symbolic and mathematical Logic, Computer science, Data processing, Algebra, Electronic data processing, Lambda calculus, Congresses, Calculus