On complexity reduction of Σ[sub 1] formulas.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 1, p. 45, doi. 10.1007/s001530200145
- By:
- Publication type:
- Article
Works matching IS 09335846 AND DT 2003 AND VI 42 AND IP 1
Results: 4
1
2
Short proofs of normalization for the simply- typed λ-calculus, permutative conversions and Gödel's T.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 1, p. 59, doi. 10.1007/s00153-002-0156-9
- By:
- Publication type:
- Article
3
Realizing Mahlo set theory in type theory.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 1, p. 89, doi. 10.1007/s00153-002-0159-6
- By:
- Publication type:
- Article
4
More Jonsson Algebras.
- Published in:
- Archive for Mathematical Logic, 2003, v. 42, n. 1, p. 1, doi. 10.1007/s001530100119
- By:
- Publication type:
- Article