The Nuprl open logical environment (2000)

by S Allen, R Constable, R Eaton, C Kreitz, L Lorigo
Venue:In Proc. of CADE-17, LNAI 1831