Brouwer's fixed-point theorem in real-cohesive homotopy type theory.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 856, doi. 10.1017/S0960129517000147
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 6
Results: 5
1
2
Hoare Semigroups.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 775, doi. 10.1017/S096012951700007X
- By:
- Publication type:
- Article
3
An Isbell duality theorem for type refinement systems.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 736, doi. 10.1017/S0960129517000068
- By:
- Publication type:
- Article
4
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
5
Dynamic networks of heterogeneous timed machines.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 6, p. 800, doi. 10.1017/S0960129517000135
- By:
- Publication type:
- Article