On Extensibility of Proof Checkers (1995)

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