Phase semantics for light linear logic (extended abstract)

Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov

研究成果: Conference article査読

11 被引用数 (Scopus)

フィンガープリント

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

Mathematics

Engineering & Materials Science