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