Typed lambda calculi and applications : International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1933, Utrecht, The Netherlands : proceedings
International Conference on Typed Lambda Calculi and Applications
Bok Engelsk 1993