Typed Lambda Calculi and Applications (TLCA)
(brand of FM)1 × Austria
1 × Brazil
2 × France
1 × Italy
1 × Japan
2 × Poland
1 × Serbia
1 × Spain
2 × The Netherlands
1 × United Kingdom
47 ×#λ-calculus
42 ×#logic
38 ×#type system
28 ×#proving
26 ×#semantics
23 ×#calculus
20 ×#higher-order
19 ×#linear
17 ×#normalisation
15 ×#recursion
Vocabulary: 571 words
339 papers in 13 issues:
- 2015
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)- 2014
Proceedings of the Joint International Conference of the 25th International Conference on Rewriting Techniques and Applications and the 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)- 2013
- Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013)
- 2011
- Proceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)
- 2009
- Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)
- 2007
- Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 2007)
- 2005
- Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)
- 2003
- Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 2003)
- 2001
- Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001)
- 1999
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1999)
- 1997
- Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1997)
- 1995
- Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)
- 1993
- Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 1993)
1 × Brazil
2 × France
1 × Italy
1 × Japan
2 × Poland
1 × Serbia
1 × Spain
2 × The Netherlands
1 × United Kingdom
47 ×#λ-calculus
42 ×#logic
38 ×#type system
28 ×#proving
26 ×#semantics
23 ×#calculus
20 ×#higher-order
19 ×#linear
17 ×#normalisation
15 ×#recursion
Vocabulary: 571 words
Proceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)Proceedings of the Joint International Conference of the 25th International Conference on Rewriting Techniques and Applications and the 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014)Proceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013)Proceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)Proceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)Proceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 2007)Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)Proceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 2003)Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001)Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1999)Proceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1997)Proceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)Proceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 1993)