Nuprl as a general logic (1990)

by R Constable, D Howe
Venue:Logic and Computer Science