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 |
| Citations: | 5 - 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 |
