Bistructures, bidomains and linear logic
From MaRDI portal
Publication:4632439
DOI10.1007/3-540-58201-0_81zbMath1422.03130MaRDI 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
03G30: Categorical logic, topoi
06B35: Continuous lattices and posets, applications
03F52: Proof-theoretic aspects of linear logic and other substructural logics
18C20: Eilenberg-Moore and Kleisli constructions for monads
Related Items
Unnamed Item, Stable bistructure models of PCF, Sequential algorithms for unbounded nondeterminism, Preface to the special volume, Musings around the geometry of interaction, and coherence
Cites Work