Type Theorie Programming. - Thierry Coquand; Bengt Nordström; Jan M. Smith; Björn von Sydow (Bull. EATCS, 1994)