Alexey Nogin
Differences
between the MetaPRL type theory and the Nuprl type theory
| Alexey Nogin, April 10th, 2000 | |
Efficient Programming by Extract in Nuprl Type Theory - Continued.
| Alexey Nogin, Febuary 14, 2000 |
|
Efficient Programming by Extract in Nuprl Type Theory
| Alexey Nogin, Febuary 7, 2000 |
|
Intersections, Unions and Games
| Robert Constable, Alexei Kopylov and Alexey Nogin, December 6, 1999 |
|
The Status of the Meta-Prl Project
| Alexey Nogin, October 4, 1999 |
|
The Current Projects of the MetaPRL Group
| Alexey Nogin and Jason Hickey, April 26, 1999 | |
| Speeding Up the MetaPRL Refiner |
| Alexey Nogin, February 8, 1999 |
Formal Models for Nuprl Evaluator
| Alexey Nogin, March 24, 1998 |
|
| Home | | Introduction | | Authors | | Topics | | Chronological List | | PRL Project |