Phase semantics for light linear logic (extended abstract)

Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov

研究成果: Conference article査読

11 被引用数 (Scopus)

抄録

Light linear logic is a refinement of the propositions-as-types paradigm to polynomial-time computation. A semantic setting for the underlying logical system is introduced here in terms of fibred phase spaces. Strong completeness is established, with a purely semantic proof of cut elimination as a consequence. A number of mathematical examples of fibred phase spaces are presented that illustrate subtleties of light linear logic.

本文言語English
ページ(範囲)221-234
ページ数14
ジャーナルElectronic Notes in Theoretical Computer Science
6
DOI
出版ステータスPublished - 1997
外部発表はい
イベントMFPS XIII, Mathematical Foundations of Progamming Semantics, Thirteenth Annual Conference - Pittsburgh, PA, United States
継続期間: 1997 3 231997 3 26

ASJC Scopus subject areas

  • 理論的コンピュータサイエンス
  • コンピュータ サイエンス(全般)

フィンガープリント

「Phase semantics for light linear logic (extended abstract)」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル