- International Conference on Typed Lambda Calculi Applications (3)
- International Conference on Typed Lambda Calculi and Applications (3)
- Abramsky, Samson, 1953- (1)
- Bezem, M. (Marc), 1956- (1)
- Dezani-Ciancaglini, Mariangiola (1)
- Girard, Jean-Yves (1)
- Groote, J. F. (Jan Frisco), 1965- (1)
- Groote, Philippe de (1)
- Hindley, J. Roger (1)
- Hofmann, Martin (1)
- Plotkin, G. (Gordon), 1946- (1)