Adjunction models for call-by-push-value with stacks

DOI10.1016/S1571-0661(04)80568-1MaRDI QIDQ2842825zbMATH OpenOpenAlexFDO

Authors Paul Blain Levy

Publication date 16 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80568-1

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2172969
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Monads and adjunctions for global exceptions
• The call-by-value λ-calculus: a semantic investigation
• scientific article; zbMATH DE number 1231584

Cites work

• A fully abstract semantics for a higher-order functional language with nondeterministic computation
• Classical logic, continuation semantics and abstract machines
• Control categories and duality: On the categorical semantics of the lambda-mu calculus
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• Introduction to distributive categories
• Introduction to extensive and distributive categories
• Modelling environments in call-by-value programming languages.
• Notions of computation and monads
• On full abstraction for PCF: I, II and III
• The duality of computation

Cited in

(13)

• Call-By-Push-Value from a Linear Logic Point of View
• A theory of effects and resources: adjunction models and polarised calculi
• Monads and adjunctions for global exceptions
• Probabilistic call by push value
• scientific article; zbMATH DE number 2172969 (Why is no real title available?)
• scientific article; zbMATH DE number 2120508 (Why is no real title available?)
• Stream processors and comodels
• LNL polycategories and doctrines of linear logic
• Galois connecting call-by-value and call-by-name
• Structured handling of scoped effects
• Towards univalent reference types: the impact of univalence on denotational semantics
• A verified cost model for call-by-push-value
• Call-by-push-value: Decomposing call-by-value and call-by-name

This page was built for publication: Adjunction models for call-by-push-value with stacks

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842825)