Works matching DE "NUPRL (Computer system)"
Results: 3
Γ<sub>0</sub> May Be Minimal Subrecursively Inaccessible.
- Published in:
- Mathematical Logic Quarterly, 2001, v. 47, n. 3, p. 397, doi. 10.1002/1521-3870(200108)47:3<397::AID-MALQ397>3.0.CO;2-Y
- By:
- Publication type:
- Article
Validating Brouwer's continuity principle for numbers using named exceptions.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 942, doi. 10.1017/S0960129517000172
- By:
- Publication type:
- Article
Building reliable, high-performance networks with the Nuprl proof development system.
- Published in:
- Journal of Functional Programming, 2004, v. 14, n. 1, p. 21, doi. 10.1017/s0956796803004854
- By:
- Publication type:
- Article