On Extensibility of Proof Checkers (1995)

Cached

Download Links

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