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

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों:	Tsukada, T, Asada, K, Ong, C
स्वरूप:	Conference item
प्रकाशित:	Association for Computing Machinery 2018

समान संसाधन

Stabilized profunctors and stable species of structures
द्वारा: Marcelo Fiore, और अन्य
प्रकाशित: (2024-02-01)

Profunctor optics: Modular data accessors
द्वारा: Pickering, M, और अन्य
प्रकाशित: (2017)

Profunctor optics, a categorical update
द्वारा: Clarke, B, और अन्य
प्रकाशित: (2024)

Behavioural Pseudometrics for Nondeterministic Probabilistic Systems
द्वारा: Wenjie Du, और अन्य
प्रकाशित: (2022-12-01)

Convex language semantics for nondeterministic probabilistic automata
द्वारा: Van Heerdt, G, और अन्य
प्रकाशित: (2018)

Trace and Testing Metrics on Nondeterministic Probabilistic Processes
द्वारा: Valentina Castiglioni
प्रकाशित: (2018-08-01)

Sulfo-SMCC Prevents Annealing of Taxol-Stabilized Microtubules In Vitro.
द्वारा: Meenakshi Prabhune, और अन्य
प्रकाशित: (2016-01-01)

Design of smart neonatal health monitoring system using SMCC
द्वारा: Debashis De, और अन्य
प्रकाशित: (2016-09-01)

On complexity of veri¯cation of nondeterministic probabilistic multiagent systems
द्वारा: M. K. Valiev, और अन्य
प्रकाशित: (2010-12-01)

Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
द्वारा: Marco Bernardo, और अन्य
प्रकाशित: (2014-03-01)

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes
द्वारा: Valentina Castiglioni, और अन्य
प्रकाशित: (2018-06-01)

The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes
द्वारा: Marco Bernardo, और अन्य
प्रकाशित: (2013-06-01)

Quantum and classical structures in nondeterministic computation
द्वारा: Pavlovic, D
प्रकाशित: (2009)

Fault tolerant quantum computation with nondeterministic gates.
द्वारा: Li, Y, और अन्य
प्रकाशित: (2010)

Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
द्वारा: Natsuki Urabe, और अन्य
प्रकाशित: (2017-09-01)

Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
द्वारा: Marco Bernardo, और अन्य
प्रकाशित: (2011-08-01)

What you needa know about Yoneda: Profunctor optics and the Yoneda lemma
द्वारा: Boisseau, G, और अन्य
प्रकाशित: (2018)

Non-steroidal Anti-inflammatory Drugs Ranking by Nondeterministic Assessments of Probabilistic Type
द्वारा: Madalina luiza MOLDOVEANU, और अन्य
प्रकाशित: (2012-09-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-01-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

NONDETERMINISTIC DECISION RULES
द्वारा: Piotr Paszek
प्रकाशित: (2015-04-01)

A Nondeterministic Minimization Algorithm
द्वारा: Caprile, Bruno, और अन्य
प्रकाशित: (2004)

Bicategorical semantics for nondeterministic computation
द्वारा: Vicary, J, और अन्य
प्रकाशित: (2013)

A Creative Nondeterministic Computability
द्वारा: A M Anisov
प्रकाशित: (2009-09-01)

Taylor expansions and catastrophes/
द्वारा: 406876 Poston, T., और अन्य
प्रकाशित: (1976)

Nondeterministic Time and Space Complexity Classes
द्वारा: Seiferas, Joel Irvin
प्रकाशित: (2023)

Residuality and Learning for Nondeterministic Nominal Automata
द्वारा: Joshua Moerman, और अन्य
प्रकाशित: (2022-02-01)

Simplifying Nondeterministic Finite Cover Automata
द्वारा: Cezar Câmpeanu
प्रकाशित: (2014-05-01)

D2-SYNCHRONIZATION IN NONDETERMINISTIC AUTOMATA
द्वारा: Hanan Shabana
प्रकाशित: (2018-12-01)

Deriving checking sequences for nondeterministic FSMs
द्वारा: Anton Ermakov
प्रकाशित: (2018-10-01)

Nondeterministic State Complexity of Positional Addition
द्वारा: Galina Jirásková, और अन्य
प्रकाशित: (2009-07-01)

Computing the weight of subtasks in state minimization of nondeterministic finite automata by the branch and bound method
द्वारा: M.E. Abramyan
प्रकाशित: (2021-09-01)

Unified framework for quantum classification
द्वारा: Nhat A. Nghiem, और अन्य
प्रकाशित: (2021-07-01)

Taylor’s Expansion for Composite Functions
द्वारा: Le Thi Phuong Ngoc, और अन्य
प्रकाशित: (2013-01-01)

Reachability problems in nondeterministic polynomial maps on the integers
द्वारा: Ko, SK, और अन्य
प्रकाशित: (2018)