Typechecking in pure type systems (1992)

by Randy Pollack
Venue:In Workshop on Types for Proofs and Programs, Bastad