Type Theory and Programming (1994)

by T Coquand, B Nordstrom, J M Smith, B von Sydow
Venue:In EATCS Bulletin