- Plotkin, G. (Gordon), 1946- (5)
- Aczel, Peter (1)
- Barwise, Jon (1)
- Conference on Situation Theory and its Applications (1)
- Cooper, Robin, 1947- (1)
- Dezani-Ciancaglini, Mariangiola (1)
- European Association for Theoretical Computer Science (1)
- Gawron, Jean Mark (1)
- Huet, Gérard (1)
- International Conference on Typed Lambda Calculi Applications (1)
- International Federation for Information Processing (1)
- International Symposium on the Semantics of Data Types (1)
- Kahn, G. (1)
- Lassez, Jean-Louis (1)
- MacQueen, D. B. (David B.), 1946- (1)
- Perry, John, 1943- (1)
- Robinson, J. A. (John Alan) (1)
- 向井, 国昭 (1)
- 土屋, 俊(1952-) (1)