A Name Abstraction Functor for Named Sets (Q2873662): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.entcs.2008.05.019 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.ENTCS.2008.05.019 / rank
 
Normal rank

Latest revision as of 02:22, 20 December 2024

scientific article
Language Label Description Also known as
English
A Name Abstraction Functor for Named Sets
scientific article

    Statements

    A Name Abstraction Functor for Named Sets (English)
    0 references
    0 references
    0 references
    24 January 2014
    0 references
    named sets
    0 references
    nominal sets
    0 references
    binding
    0 references
    garbage collection
    0 references
    De Bruijn indexes
    0 references

    Identifiers