Typechecking in Pure Type Systems (1992)

Cached

Download Links

by Randy Pollack , Eric Poll
Venue:Informal proceedings of Logical Frameworks'92
Citations:5 - 2 self