International Conference on Typed Lambda Calculus and Applications (TLCA)

8. TLCA 2007: Paris, France

Simona Ronchi Della Rocca (Ed.): Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings. Lecture Notes in Computer Science 4583 Springer 2007, ISBN 978-3-540-73227-3
Contents BibTeX

7. TLCA 2005: Nara, Japan

Pawel Urzyczyn (Ed.): Typed Lambda Calculi and Applications, 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings. Lecture Notes in Computer Science 3461 Springer 2005, ISBN 3-540-25593-1
Contents BibTeX

6. TLCA 2003: Valencia, Spain

Martin Hofmann (Ed.): Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings. Lecture Notes in Computer Science 2701 Springer 2003, ISBN 3-540-40332-9
Contents BibTeX

5. TLCA 2001: Krakow, Poland

Samson Abramsky (Ed.): Typed Lambda Calculi and Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May 2-5, 2001, Proceedings. Lecture Notes in Computer Science 2044 Springer 2001, ISBN 3-540-41960-8
Contents BibTeX

4. TLCA 1999: L'Aquila, Italy

Jean-Yves Girard (Ed.): Typed Lambda Calculi and Applications, 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings. Lecture Notes in Computer Science 1581 Springer 1999, ISBN 3-540-65763-0
Contents BibTeX

3. TLCA 1997: Nancy, France

Philippe de Groote (Ed.): Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings. Lecture Notes in Computer Science 1210 Springer 1997, ISBN 3-540-62688-3
Contents BibTeX

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
Contents BibTeX

1. TLCA 1993: Utrecht, The Netherlands

Marc Bezem, Jan Friso Groote (Eds.): Typed Lambda Calculi and Applications, International Conference on Typed Lambda Calculi and Applications, TLCA '93, Utrecht, The Netherlands, March 16-18, 1993, Proceedings. Lecture Notes in Computer Science 664 Springer 1993, ISBN 3-540-56517-5
Contents BibTeX