FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Species, Profunctors and Taylor Expansion Weighted by SMCC--A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs--

Authors: Takeshi Tsukada, Kazuyuki Asada and Luke Ong

Paper Information

Title:Species, Profunctors and Taylor Expansion Weighted by SMCC--A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs--
Authors:Takeshi Tsukada, Kazuyuki Asada and Luke Ong
Proceedings:LICS PDF files
Editors: Anuj Dawar and Erich Grädel
Keywords:generalised species, profunctor, Taylor expansion, resource calculus, quantum program
Abstract:

ABSTRACT. Motivated by a tight connection between Joyal's combinatorial species and quantitative models of linear logic, this paper introduces \emph{weighted generalised species} (or \emph{weighted profunctors}), where weights are morphisms of a given symmetric monoidal closed category (SMCC). For each SMCC W, we show that the category of W-weighted profunctors is a Lafont category, a categorical model of linear logic with exponential. As a model of programming languages, the construction of this paper gives a unified framework that induces adequate models of nondeterministic, probabilistic, algebraic and quantum programming languages by appropriately choosing the weight SMCC.

Pages:10
Talk:Jul 12 09:00 (Session 70D)
Paper: