Apartness, sharp elements, and the Scott topology of domains.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 7, p. 573, doi. 10.1017/S0960129523000282
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 7
Results: 3
1
2
A (machine-oriented) logic based on pattern matching.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 7, p. 647, doi. 10.1017/S0960129523000191
- By:
- Publication type:
- Article
3
Game semantics of Martin-Löf type theory.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 7, p. 605, doi. 10.1017/S0960129523000154
- By:
- Publication type:
- Article