A doctrinal approach to modal/temporal Heyting logic and non-determinism in processes.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 508, doi. 10.1017/S0960129517000019
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 4
Results: 5
1
2
Coinductive predicates and final sequences in a fibration.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 562, doi. 10.1017/S0960129517000056
- By:
- Publication type:
- Article
3
Yoneda completeness.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 548, doi. 10.1017/S0960129517000032
- By:
- Publication type:
- Article
4
θ-continuity and Dθ-completion of posets.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 533, doi. 10.1017/S0960129517000020
- By:
- Publication type:
- Article
5
Mackey-complete spaces and power series – a topological model of differential linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 4, p. 472, doi. 10.1017/S0960129516000281
- By:
- Publication type:
- Article