A calculus of coroutines

DOI10.1016/j.tcs.2005.10.027zbMath1086.68028OpenAlexW2022786359MaRDI QIDQ817847

N. E. Zubov

Publication date: 20 March 2006

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2005.10.027

zbMATH Keywords

categorical modelsgame semanticslambda-calculuscoroutines

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Imperative programs as proofs via game semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• On full abstraction for PCF: I, II and III
• Full abstraction for PCF
• The regular-language semantics of second-order idealized ALGOL
• Relational properties of domains
• Locally Boolean domains
• Locus Solum: From the rules of logic to the logic of rules
• A Categorical Semantics of Higher Order Store
• Games and full completeness for multiplicative linear logic
• Computer Science Logic

This page was built for publication: A calculus of coroutines