Works matching IS 09601295 AND DT 2023 AND VI 33 AND IP 4/5
Results: 6
Preface to the special issue on metric and differential semantics.
- Published in:
- 2023
- By:
- Publication type:
- Editorial
Divergences on monads for relational program logics.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 4/5, p. 427, doi. 10.1017/S0960129523000245
- By:
- Publication type:
- Article
CHAD for expressive total languages.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 4/5, p. 311, doi. 10.1017/S096012952300018X
- By:
- Publication type:
- Article
Up-to techniques for behavioural metrics via fibrations.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 4/5, p. 182, doi. 10.1017/S0960129523000166
- By:
- Publication type:
- Article
Coherent differentiation.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 4/5, p. 259, doi. 10.1017/S0960129523000129
- By:
- Publication type:
- Article
Behavioural equivalences for continuous-time Markov processes.
- Published in:
- Mathematical Structures in Computer Science, 2023, v. 33, n. 4/5, p. 222, doi. 10.1017/S0960129523000099
- By:
- Publication type:
- Article