Semantic Foundations for Embedding HOL in Nuprl (1996)

Cached

Download Links

by Douglas J. Howe
Venue:ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
Citations:29 - 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