| 2006 |
|---|
| 4 | 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) |
| 2004 |
|---|
| 3 | EE | Lori Lorigo,
Jon M. Kleinberg,
Richard Eaton,
Robert L. Constable:
A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.
MKM 2004: 220-235 |
| 2003 |
|---|
| 2 | EE | Jason Hickey,
Aleksey Nogin,
Robert L. Constable,
Brian E. Aydemir,
Eli Barzilay,
Yegor Bryukhov,
Richard Eaton,
Adam Granicz,
Alexei Kopylov,
Christoph Kreitz,
Vladimir Krupski,
Lori Lorigo,
Stephan Schmitt,
Carl Witty,
Xin Yu:
MetaPRL - A Modular Logical Environment.
TPHOLs 2003: 287-303 |
| 2000 |
|---|
| 1 | | Stuart F. Allen,
Robert L. Constable,
Richard Eaton,
Christoph Kreitz,
Lori Lorigo:
The Nuprl Open Logical Environment.
CADE 2000: 170-176 |
