The practice of type theory. Talk presented at 2000 (2000)

by R HARPER
Venue:Yale University