Intuitionistic differential nets and lambda-calculus (Q534707)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Intuitionistic differential nets and lambda-calculus
scientific article

    Statements

    Intuitionistic differential nets and lambda-calculus (English)
    0 references
    0 references
    10 May 2011
    0 references
    lambda-calculus
    0 references
    differential interaction nets
    0 references
    linear logic
    0 references
    proof nets
    0 references
    exponential reduction
    0 references
    confluence
    0 references
    normalization
    0 references

    Identifiers