Typed lambda calculi and applications 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings - International Conference on Typed Lambda Calculi and Applications 2009 : Brasilla, Brazil); Curien, Pierre-Louis.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Lambda calculus -- Congresses; Mathematical Logic and Formal Languages; Symbolic and Algebraic Manipulation; Computing Methodologies; Logics and Meanings of Programs; Mathematics of Computing; Computer Science; Mathematical Logic and Foundations