Bistructures, bidomains and linear logic

DOI10.1007/3-540-58201-0_81zbMath1422.03130OpenAlexW1764258261MaRDI QIDQ4632439

Glynn Winskel, Gordon D. Plotkin

Publication date: 29 April 2019

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/1842/222

zbMATH Keywords

linear logicpartial orderintuitionistic logicstable functionevent structure

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (5)

Stable bistructure models of PCF ⋮ Sequential algorithms for unbounded nondeterminism ⋮ Unnamed Item ⋮ Preface to the special volume ⋮ Musings around the geometry of interaction, and coherence

Cites Work

• Petri nets, event structures and domains. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Bistructures, bidomains and linear logic