CPS-translation as adjoint (Q1044830): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2009.06.033 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2070204462 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738112 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Lattices and ordered algebraic structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Declarative continuations: An investigation of duality in programming language semantics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Domain-Free<i>λµ</i>-Calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4457453 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Typed Lambda Calculi and Applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: CPS translations and applications: The cube and beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding first order predicate logic in fragments of intuitionistic logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3758891 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4255509 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5559220 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4738110 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Control categories and duality: on the categorical semantics of the lambda-mu calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classical logic, continuation semantics and abstract machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructivism in mathematics. An introduction. Volume I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-value is dual to call-by-name / rank
 
Normal rank

Latest revision as of 06:47, 2 July 2024

scientific article
Language Label Description Also known as
English
CPS-translation as adjoint
scientific article

    Statements

    CPS-translation as adjoint (English)
    0 references
    15 December 2009
    0 references
    Galois connection
    0 references
    CPS-translation
    0 references
    polymorphic functions
    0 references
    abstract data types
    0 references
    proof duality
    0 references
    0 references

    Identifiers