International Conference on Typed Lambda Calculus and Applications (TLCA)

11. TLCA 2013: Eindhoven, The Netherlands

10. TLCA 2011: Novi Sad, Serbia

9. TLCA 2009: Brasilia, Brazil

8. TLCA 2007: Paris, France

7. TLCA 2005: Nara, Japan

6. TLCA 2003: Valencia, Spain

5. TLCA 2001: Krakow, Poland

4. TLCA 1999: L'Aquila, Italy

3. TLCA 1997: Nancy, France

2. TLCA 1995: Edinburgh, UK

1. TLCA 1993: Utrecht, The Netherlands