TLCA
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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
TLCAProceedings of the 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)
2014
RTAProceedings 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
TLCAProceedings of the 11th International Conference on Typed Lambda Calculi and Applications (TLCA 2013)
2011
TLCAProceedings of the 10th International Conference on Typed Lambda Calculi and Applications (TLCA 2011)
2009
TLCAProceedings of the Ninth International Conference on Typed Lambda Calculi and Applications (TLCA 2009)
2007
TLCAProceedings of the Eighth International Conference on Typed Lambda Calculi and Applications (TLCA 2007)
2005
TLCAProceedings of the Seventh International Conference on Typed Lambda Calculi and Applications (TLCA 2005)
2003
TLCAProceedings of the Sixth International Conference on Typed Lambda Calculi and Applications (TLCA 2003)
2001
TLCAProceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA 2001)
1999
TLCAProceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1999)
1997
TLCAProceedings of the Fourth International Conference on Typed Lambda Calculi and Applications (TLCA 1997)
1995
TLCAProceedings of the Second International Conference on Typed Lambda Calculi and Applications (TLCA 1995)
1993
TLCAProceedings of the International Conference on Typed Lambda Calculi and Applications (TLCA 1993)

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.