Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Categorical models of the differential \(\lambda\)-calculus revisited
scientific article

    Statements

    Identifiers