dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

2. TLCA 1995: Edinburgh, UK

Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin (Eds.): Typed Lambda Calculi and Applications, Second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, UK, April 10-12, 1995, Proceedings. Lecture Notes in Computer Science 902 Springer 1995, ISBN 3-540-59048-X CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Tue May 21 18:07:36 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page