Classical realizability and arithmetical formulæ.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 1068, doi. 10.1017/S0960129515000559
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2017 AND VI 27 AND IP 6
Results: 5
1
2
Isomorphism theorems between models of mixed choice.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 1032, doi. 10.1017/S0960129515000547
- By:
- Publication type:
- Article
3
Constructive forcing, CPS translations and witness extraction in Interactive realizability.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 993, doi. 10.1017/S0960129515000468
- By:
- Publication type:
- Article
4
The conservation theorem for differential nets.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 939, doi. 10.1017/S0960129515000456
- By:
- Publication type:
- Article
5
Resource convertibility and ordered commutative monoids.
- Published in:
- Mathematical Structures in Computer Science, 2017, v. 27, n. 6, p. 850, doi. 10.1017/S0960129515000444
- By:
- Publication type:
- Article