A Logic of Sequentiality

DOI10.1007/978-3-642-15205-4_19zbMath1287.03106OpenAlexW1560733996MaRDI QIDQ3586044

Martin Churchill, James Laird

Publication date: 3 September 2010

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15205-4_19

zbMATH Keywords

game semanticssequentialityfull completeness

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: A Logic of Sequentiality