On Extensibility of Proof Checkers (1995)

View PDF

Download Links

by Robert Pollack
Venue:in Dybjer, Nordstrom and Smith (eds), Types for Proofs and Programs: International Workshop TYPES'94, Bastad
Citations:10 - 2 self