| |
| 2006 | ||
|---|---|---|
| 3 | EE | Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran: Innovations in computational type theory using Nuprl. J. Applied Logic 4(4): 428-469 (2006) |
| 2000 | ||
| 2 | Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo: The Nuprl Open Logical Environment. CADE 2000: 170-176 | |
| 1990 | ||
| 1 | Stuart F. Allen, Robert L. Constable, Douglas J. Howe, William E. Aitken: The Semantics of Reflected Proof LICS 1990: 95-105 | |
| 1 | William E. Aitken | [1] |
| 2 | Mark Bickford | [3] |
| 3 | Robert L. Constable | [1] [2] [3] |
| 4 | Richard Eaton | [2] [3] |
| 5 | Douglas J. Howe | [1] |
| 6 | Christoph Kreitz | [2] [3] |
| 7 | Lori Lorigo | [2] [3] |
| 8 | E. Moran | [3] |