CPS-translation as adjoint
From MaRDI portal
Publication:1044830
DOI10.1016/J.TCS.2009.06.033zbMath1186.68101OpenAlexW2070204462MaRDI QIDQ1044830
Publication date: 15 December 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2009.06.033
Related Items (2)
Existential type systems between Church and Curry style (type-free style) ⋮ Existential Type Systems with No Types in Terms
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The lambda calculus. Its syntax and semantics. Rev. ed.
- CPS translations and applications: The cube and beyond
- Constructivism in mathematics. An introduction. Volume I
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Lattices and ordered algebraic structures
- Control categories and duality: on the categorical semantics of the lambda-mu calculus
- Domain-Freeλµ-Calculus
- Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence
- Embedding first order predicate logic in fragments of intuitionistic logic
- Classical logic, continuation semantics and abstract machines
- Declarative continuations: An investigation of duality in programming language semantics
- Call-by-value is dual to call-by-name
- Typed Lambda Calculi and Applications
This page was built for publication: CPS-translation as adjoint
