Types for Proofs and Programs International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers Barendregt Henk Heftet / 1994 / Engelsk
