International Conference on Typed Lambda Calculus and Applications (TLCA)
11. TLCA 2013: Eindhoven, The Netherlands
Masahito Hasegawa (Ed.): Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 7941 ISBN 978-3-642-38945-0 [ contents ]
10. TLCA 2011: Novi Sad, Serbia
- C.-H. Luke Ong (Ed.): Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6690 ISBN 978-3-642-21690-9 [ contents ]
9. TLCA 2009: Brasilia, Brazil
- Pierre-Louis Curien (Ed.): Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5608 ISBN 978-3-642-02272-2 [ contents ]
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. Springer 2007 Lecture Notes in Computer Science 4583 ISBN 978-3-540-73227-3 [ contents ]
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. Springer 2005 Lecture Notes in Computer Science 3461 ISBN 3-540-25593-1 [ contents ]
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. Springer 2003 Lecture Notes in Computer Science 2701 ISBN 3-540-40332-9 [ contents ]
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. Springer 2001 Lecture Notes in Computer Science 2044 ISBN 3-540-41960-8 [ contents ]
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. Springer 1999 Lecture Notes in Computer Science 1581 ISBN 3-540-65763-0 [ contents ]
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. Springer 1997 Lecture Notes in Computer Science 1210 ISBN 3-540-62688-3 [ contents ]
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. Springer 1995 Lecture Notes in Computer Science 902 ISBN 3-540-59048-X [ contents ]
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. Springer 1993 Lecture Notes in Computer Science 664 ISBN 3-540-56517-5 [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team