default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDInternational Conference on Typed Lambda Calculus and Applications (TLCA)
13th TLCA 2015: Warsaw, Poland
- Thorsten Altenkirch:
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland. LIPIcs 38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-87-3 [contents]
RTA-TLCA 2014: Vienna, Austria
- Gilles Dowek:
Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Lecture Notes in Computer Science 8560, Springer 2014, ISBN 978-3-319-08917-1 [contents]
11th TLCA 2013: Eindhoven, The Netherlands
- Masahito Hasegawa
:
Typed Lambda Calculi and Applications, 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings. Lecture Notes in Computer Science 7941, Springer 2013, ISBN 978-3-642-38945-0 [contents]
10th TLCA 2011: Novi Sad, Serbia
- C.-H. Luke Ong:
Typed Lambda Calculi and Applications - 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings. Lecture Notes in Computer Science 6690, Springer 2011, ISBN 978-3-642-21690-9 [contents]
9th TLCA 2009: Brasilia, Brazil
- Pierre-Louis Curien:
Typed Lambda Calculi and Applications, 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings. Lecture Notes in Computer Science 5608, Springer 2009, ISBN 978-3-642-02272-2 [contents]
8th TLCA 2007: Paris, France
- Simona Ronchi Della Rocca:
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]
7th TLCA 2005: Nara, Japan
- Pawel Urzyczyn:
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]
6th TLCA 2003: Valencia, Spain
- Martin Hofmann:
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]
5th TLCA 2001: Krakow, Poland
- Samson Abramsky:
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]
4th TLCA 1999: L'Aquila, Italy
- Jean-Yves Girard:
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]
3rd TLCA 1997: Nancy, France
- Philippe de Groote:
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]
2nd TLCA 1995: Edinburgh, UK
- Mariangiola Dezani-Ciancaglini, Gordon D. Plotkin:
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]
1st TLCA 1993: Utrecht, The Netherlands
- Marc Bezem, Jan Friso Groote:
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]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:31 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
