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

Document Versions

On Extensibility of Proof Checkers –Robert Pollack — 1995 — in Dybjer, Nordstrom and Smith (eds), Types for Proofs and Programs: International Workshop TYPES'94, Bastad