- International Workshop on TYPES (3)
- International Workshop TYPES (2)
- Altenkirch, Thorsten (1)
- Barendregt, H. P. (Hendrik Pieter), 1947- (1)
- Berardi, Stefano (1)
- Coppo, Mario (1)
- Coquand, Thierry, 1961- (1)
- Dybjer, Peter (1)
- Naraschewski, Wolfgang (1)
- Nipkow, Tobias, 1958- (1)
- Nordström, Bengt (1)
- Reus, Bernhard (1)
- Smith, Jan M (1)