## Partial computations in constructive type theory (1991)

by
Scott F. Smith

Venue: | JOURNAL OF LOGIC AND COMPUTATION |

Citations: | 7 - 5 self |