Semantic Foundations for Embedding HOL in Nuprl (1996)
by
Douglas J. Howe
| Venue: | ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY |
| Citations: | 26 - 2 self |
Document Versions
| Semantic Foundations for Embedding HOL in Nuprl –Douglas J. Howe — 1996 — ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY |
| Semantic Foundations for Embedding HOL in Nuprl –Douglas J. Howe — 1996 — Algebraic Methodology and Software Technology |
