International Workshop on Types for Proofs and Programs
-
2006
TYPES 2006
- 18-21 April
- Nottingham, United Kingdom
-
Types for Proofs and Programs
17 Papers
1 Volume
-
2004
TYPES 2004
- 15-18 December
- Jouy-en-Josas, France
-
Types for Proofs and Programs
17 Papers
1 Volume
-
2002
TYPES 2002
- 24-28 April
- Berg en Dal, The Netherlands
-
Types for Proofs and Programs
18 Papers
1 Volume
-
2000
TYPES 2000
- 8-12 December
- Durham, United Kingdom
-
Types for Proofs and Programs
15 Papers
1 Volume
-
1993
TYPES 1993
- 24-28 May
- Nijmegen, The Netherlands
-
Types for Proofs and Programs
17 Papers
1 Volume