Species, profunctors and Taylor expansion weighted by SMCC: a unified framework for modelling nondeterministic, probabilistic and quantum programs

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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Tsukada, T, Asada, K, Ong, C
Formáid:	Conference item
Foilsithe / Cruthaithe:	Association for Computing Machinery 2018

Míreanna comhchosúla

Stabilized profunctors and stable species of structures
de réir: Marcelo Fiore, et al.
Foilsithe / Cruthaithe: (2024-02-01)

Profunctor optics: Modular data accessors
de réir: Pickering, M, et al.
Foilsithe / Cruthaithe: (2017)

Profunctor optics, a categorical update
de réir: Clarke, B, et al.
Foilsithe / Cruthaithe: (2024)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
de réir: Wenjie Du, et al.
Foilsithe / Cruthaithe: (2022-12-01)

Convex language semantics for nondeterministic probabilistic automata
de réir: Van Heerdt, G, et al.
Foilsithe / Cruthaithe: (2018)

Trace and Testing Metrics on Nondeterministic Probabilistic Processes
de réir: Valentina Castiglioni
Foilsithe / Cruthaithe: (2018-08-01)

Sulfo-SMCC Prevents Annealing of Taxol-Stabilized Microtubules In Vitro.
de réir: Meenakshi Prabhune, et al.
Foilsithe / Cruthaithe: (2016-01-01)

Design of smart neonatal health monitoring system using SMCC
de réir: Debashis De, et al.
Foilsithe / Cruthaithe: (2016-09-01)

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
de réir: M. K. Valiev, et al.
Foilsithe / Cruthaithe: (2010-12-01)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
de réir: Marco Bernardo, et al.
Foilsithe / Cruthaithe: (2014-03-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
de réir: Valentina Castiglioni, et al.
Foilsithe / Cruthaithe: (2018-06-01)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
de réir: Marco Bernardo, et al.
Foilsithe / Cruthaithe: (2013-06-01)

Quantum and classical structures in nondeterministic computation
de réir: Pavlovic, D
Foilsithe / Cruthaithe: (2009)

Fault tolerant quantum computation with nondeterministic gates.
de réir: Li, Y, et al.
Foilsithe / Cruthaithe: (2010)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
de réir: Natsuki Urabe, et al.
Foilsithe / Cruthaithe: (2017-09-01)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
de réir: Marco Bernardo, et al.
Foilsithe / Cruthaithe: (2011-08-01)

What you needa know about Yoneda: Profunctor optics and the Yoneda lemma
de réir: Boisseau, G, et al.
Foilsithe / Cruthaithe: (2018)

Non-steroidal Anti-inflammatory Drugs Ranking by Nondeterministic Assessments of Probabilistic Type
de réir: Madalina luiza MOLDOVEANU, et al.
Foilsithe / Cruthaithe: (2012-09-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-01-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

NONDETERMINISTIC DECISION RULES
de réir: Piotr Paszek
Foilsithe / Cruthaithe: (2015-04-01)

A Nondeterministic Minimization Algorithm
de réir: Caprile, Bruno, et al.
Foilsithe / Cruthaithe: (2004)

Bicategorical semantics for nondeterministic computation
de réir: Vicary, J, et al.
Foilsithe / Cruthaithe: (2013)

A Creative Nondeterministic Computability
de réir: A M Anisov
Foilsithe / Cruthaithe: (2009-09-01)

Taylor expansions and catastrophes/
de réir: 406876 Poston, T., et al.
Foilsithe / Cruthaithe: (1976)

Nondeterministic Time and Space Complexity Classes
de réir: Seiferas, Joel Irvin
Foilsithe / Cruthaithe: (2023)

Residuality and Learning for Nondeterministic Nominal Automata
de réir: Joshua Moerman, et al.
Foilsithe / Cruthaithe: (2022-02-01)

Simplifying Nondeterministic Finite Cover Automata
de réir: Cezar Câmpeanu
Foilsithe / Cruthaithe: (2014-05-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
de réir: Hanan Shabana
Foilsithe / Cruthaithe: (2018-12-01)

Deriving checking sequences for nondeterministic FSMs
de réir: Anton Ermakov
Foilsithe / Cruthaithe: (2018-10-01)

Nondeterministic State Complexity of Positional Addition
de réir: Galina Jirásková, et al.
Foilsithe / Cruthaithe: (2009-07-01)

Computing the weight of subtasks in state minimization of nondeterministic finite automata by the branch and bound method
de réir: M.E. Abramyan
Foilsithe / Cruthaithe: (2021-09-01)

Unified framework for quantum classification
de réir: Nhat A. Nghiem, et al.
Foilsithe / Cruthaithe: (2021-07-01)

Taylor’s Expansion for Composite Functions
de réir: Le Thi Phuong Ngoc, et al.
Foilsithe / Cruthaithe: (2013-01-01)

Reachability problems in nondeterministic polynomial maps on the integers
de réir: Ko, SK, et al.
Foilsithe / Cruthaithe: (2018)