Partial computations in constructive type theory (1991)
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 |
