Typed lambda calculi and applications 8th international conference, TLCA 2007, Paris, France, June 26-28, 2007 ; proceedings - International Conference on Typed Lambda Calculi and Applications 2007 : Paris, France); Ronchi Della Rocca, S. (Simona); SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Includes bibliographical references and index.
Keywords: Lambda calculus -- Congresses; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Programming Languages, Compilers, Interpreters; Programming Techniques