The structure of nuprl’s type theory (1997)

by Robert L. Constable
Citations:9 - 3 self