Hybrid partial-total type theory (1995)

by Scott F Smith
Venue:International Journal of Foundations of Computer Science