A new method for establishing conservativity of classical systems over their intuitionistic version.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 4, p. 323, doi. 10.1017/s0960129599002844
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1999 AND VI 9 AND IP 4
Results: 5
1
2
Extending partial combinatory algebras.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 4, p. 483, doi. 10.1017/s0960129599002832
- By:
- Publication type:
- Article
3
From » to À; or, Rediscovering continuations.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 4, p. 367, doi. 10.1017/s0960129599002881
- By:
- Publication type:
- Article
4
Some logical and syntactical observations concerning the first-order dependent type system »P.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 4, p. 335, doi. 10.1017/s0960129599002856
- By:
- Publication type:
- Article
5
On the existence of n but not n + 1 easy combinators.
- Published in:
- Mathematical Structures in Computer Science, 1999, v. 9, n. 4, p. 361, doi. 10.1017/s0960129598002825
- By:
- Publication type:
- Article