Reflecting the open-ended computation system of constructive type theory (1989)

by S F Allen, R L Constable, D J Howe
Venue:In Working Material, International Summer School on Logic, Algebra and Computation