The Nuprl Open Logical Environment.

Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo

Browse the full CADE paper archive.