Safe proof checking in type theory with Y (1999)

Cached

Download Links

by Herman Geuvers , Erik Poll , Jan Zwanenburg
Venue:IN CSL
Citations:4 - 0 self