Partial computations in constructive type theory. Submitted to (1991)

by S F Smith
Venue:Journal of Logic and Computation