Works matching IS 09601295 AND DT 2022 AND VI 32 AND IP 1
Results: 3
Hofmann-Mislove type definitions of non-Hausdorff spaces.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 1, p. 111, doi. 10.1017/S0960129522000196
- By:
- Publication type:
- Article
The role of linearity in sharing analysis.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 1, p. 44, doi. 10.1017/S0960129522000160
- By:
- Publication type:
- Article
Proof-relevance in Bishop-style constructive mathematics.
- Published in:
- Mathematical Structures in Computer Science, 2022, v. 32, n. 1, p. 1, doi. 10.1017/S0960129522000159
- By:
- Publication type:
- Article