Works matching IS 09601295 AND DT 2021 AND VI 31 AND IP 5
Results: 5
Languages of higher-dimensional automata.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 5, p. 575, doi. 10.1017/S0960129521000293
- By:
- Publication type:
- Article
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 5, p. 553, doi. 10.1017/S096012952100027X
- By:
- Publication type:
- Article
Metric monads.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 5, p. 535, doi. 10.1017/S0960129521000220
- By:
- Publication type:
- Article
Linear logic in normed cones: probabilistic coherence spaces and beyond.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 5, p. 495, doi. 10.1017/S0960129521000177
- By:
- Publication type:
- Article
An interpretation of dependent type theory in a model category of locally cartesian closed categories.
- Published in:
- Mathematical Structures in Computer Science, 2021, v. 31, n. 5, p. 469, doi. 10.1017/S0960129521000098
- By:
- Publication type:
- Article