2017年8月8日
Generalised species of rigid resource terms
Proceedings - Symposium on Logic in Computer Science
- ,
- ,
- 開始ページ
- 1
- 終了ページ
- 12
- 記述言語
- 英語
- 掲載種別
- 研究論文(国際会議プロシーディングス)
- DOI
- 10.1109/LICS.2017.8005093
- 出版者・発行元
- Institute of Electrical and Electronics Engineers Inc.
This paper introduces a variant of the resource calculus, the rigid resource calculus, in which a permutation of elements in a bag is distinct from but isomorphic to the original bag. It is designed so that the Taylor expansion within it coincides with the interpretation by generalised species of Fiore et al., which generalises both Joyal's combinatorial species and Girard's normal functors, and which can be seen as a proof-relevant extension of the relational model. As an application, we prove the commutation between computing Böhm trees and (standard) Taylor expansions for a particular nondeterministic calculus.
- リンク情報
- ID情報
-
- DOI : 10.1109/LICS.2017.8005093
- ISSN : 1043-6871
- DBLP ID : conf/lics/TsukadaAO17
- SCOPUS ID : 85028695484