Typechecking in Pure Type Sytems (1992)

by R Pollack
Venue:In Informal Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad