| |
| 2006 | ||
|---|---|---|
| 1 | 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) |
| 1 | Stuart F. Allen | [1] |
| 2 | Mark Bickford | [1] |
| 3 | Robert L. Constable | [1] |
| 4 | Richard Eaton | [1] |
| 5 | Christoph Kreitz | [1] |
| 6 | Lori Lorigo | [1] |