Bistructures, bidomains and linear logic
From MaRDI portal
Publication:4632439
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
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
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