The Intensional Lambda Calculus (Q5434495)

From MaRDI portal
scientific article; zbMATH DE number 5223560
Language Label Description Also known as
English
The Intensional Lambda Calculus
scientific article; zbMATH DE number 5223560

    Statements

    The Intensional Lambda Calculus (English)
    0 references
    0 references
    0 references
    4 January 2008
    0 references

    Identifiers