Viewing \({\lambda}\)-terms through maps (Q740485): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
Property / DOI
 
Property / DOI: 10.1016/j.indag.2013.08.003 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.INDAG.2013.08.003 / rank
 
Normal rank

Revision as of 08:45, 9 December 2024

scientific article
Language Label Description Also known as
English
Viewing \({\lambda}\)-terms through maps
scientific article

    Statements

    Viewing \({\lambda}\)-terms through maps (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    3 September 2014
    0 references
    binding
    0 references
    de Bruijn
    0 references
    nameless dummies
    0 references
    lambda calculus
    0 references
    nominal logic
    0 references
    formal proof
    0 references
    machine checked proof
    0 references

    Identifiers