Stuart F. Allen

Publication Activity (10 Years)

Years Active: 1990-2006
Publications (10 Years): 0

Publications

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
Innovations in computational type theory using Nuprl. J. Appl. Log. 4 (4) (2006)
Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
The Nuprl Open Logical Environment. CADE (2000)
Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken
The Semantics of Reflected Proof LICS (1990)