1992, Article in monograph or in proceedings (Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science, LICS '92, 22-25 June, Santa Cruz, CA, USA, pp. 453-460)
1994, Article in monograph or in proceedings (Ninth annual IEEE symposium on Logic in Computer Science, July 4-7,1994, Paris, France : proceedings, pp. 406-415)
1992, Article in monograph or in proceedings (Nordstrom, B. (ed.), Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad June 1992, Sweden, pp. 183-207)