The Intensional Lambda Calculus (Q5434495): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1317985
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Sergej N. Artemov / rank
 
Normal rank

Revision as of 14:42, 27 February 2024

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