Björn von Sydow. Type theory and programming (1994)

by Thierry Coquand, Bengt Nordström, Jan M Smith
Venue:Bulletin of the European Association for Theoretical Computer Science