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

Takeshi Tsukada, Kazuyuki Asada, C. H.Luke Ong

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

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 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 an appropriate choice of the weight SMCC.

本文言語English
ホスト出版物のタイトルProceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
出版社Institute of Electrical and Electronics Engineers Inc.
ページ889-898
ページ数10
ISBN(電子版)9781450355834, 9781450355834
DOI
出版ステータスPublished - 2018 7月 9
外部発表はい
イベント33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 - Oxford, United Kingdom
継続期間: 2018 7月 92018 7月 12

出版物シリーズ

名前Proceedings - Symposium on Logic in Computer Science
ISSN(印刷版)1043-6871

Conference

Conference33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
国/地域United Kingdom
CityOxford
Period18/7/918/7/12

ASJC Scopus subject areas

  • ソフトウェア
  • 数学 (全般)

フィンガープリント

「Species, profunctors and taylor expansion weighted by SMCC: A unified framework for modelling nondeterministic, probabilistic and quantum programs」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル