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