default search action

combined dblp search
author search
venue search
publication search

ask others

International Conference on Typed Lambda Calculus and Applications (TLCA)

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

status: as of 2015, this venue has been discontinued
successor: International Conference on Formal Structures for Computation and Deduction (FSCD)
is part of (2003): International Conference on Rewriting, Deduction, and Programming (RDP)

13th TLCA 2015: Warsaw, Poland

- view
- export record
  dblp key:
  - conf/tlca/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2015
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

- view
  authority control:
- export record
  dblp key:
  - conf/rta/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/2014
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2013
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2013
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2011
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2009
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2007
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2005
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2003
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/2001
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/1999
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/1999
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/1997
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/1995
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

- view
  authority control:
- export record
  dblp key:
  - conf/tlca/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tlca/1993
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.