Partial computations in constructive type theory (1991)

Cached

Download Links

by Scott F. Smith
Venue:JOURNAL OF LOGIC AND COMPUTATION
Citations:7 - 5 self

Document Versions

Partial computations in constructive type theory –Scott F. Smith — 1991 — JOURNAL OF LOGIC AND COMPUTATION