Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs
Motivated by a tight connection between Joyal's combinatorial species and quantitative models of linear logic, this paper introduces weighted generalised species (or weighted profunctors), where weights are morphisms of a given symmetric monoidal closed category (SMCC). For each SMCC W, we show...
Main Authors: | Tsukada, T, Asada, K, Ong, C |
---|---|
Format: | Conference item |
Udgivet: |
Association for Computing Machinery
2018
|
Lignende værker
-
Stabilized profunctors and stable species of structures
af: Marcelo Fiore, et al.
Udgivet: (2024-02-01) -
Profunctor optics: Modular data accessors
af: Pickering, M, et al.
Udgivet: (2017) -
Profunctor optics, a categorical update
af: Clarke, B, et al.
Udgivet: (2024) -
Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
af: Wenjie Du, et al.
Udgivet: (2022-12-01) -
Convex language semantics for nondeterministic probabilistic automata
af: Van Heerdt, G, et al.
Udgivet: (2018)