TLCA
International Conference on Typed Lambda Calculi and Applications
-
2013
TLCA 2013
- 26-28 June
- Eindhoven, The Netherlands
-
Typed Lambda Calculi and Applications
18 Papers
1 Volume
-
1995
TLCA 1995
- 10-12 April
- Edinburgh, United Kingdom
-
Typed Lambda Calculi and Applications
29 Papers
1 Volume
-
1993
TLCA 1993
- 16-18 March
- Utrecht, The Netherlands
-
Typed Lambda Calculi and Applications
29 Papers
1 Volume