The Nuprl System (1995)

by R Constable
Venue:Lecture Notes of the Summer School on Logic of Computation, Marktoberndorf