Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings - Curien, Pierre-Louis.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Logic design; Algebra -- Data processing; Electronic data processing; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Mathematics of Computing; Logics and Meanings of Programs; Symbolic and Algebraic Manipulation; Computing Methodologies; Mathematical Logic and Foundations