Investigations on the dual calculus (Q2503329)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Investigations on the dual calculus
scientific article

    Statements

    Investigations on the dual calculus (English)
    0 references
    14 September 2006
    0 references
    dual calculus
    0 references
    classical lambda calculi
    0 references
    Curry-Howard isomorphism
    0 references
    continuations
    0 references
    0 references

    Identifiers