From nominal to higher-order rewriting and back again (Q3460411): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W2239215046 / rank
 
Normal rank

Latest revision as of 10:26, 30 July 2024

scientific article
Language Label Description Also known as
English
From nominal to higher-order rewriting and back again
scientific article

    Statements

    From nominal to higher-order rewriting and back again (English)
    0 references
    7 January 2016
    0 references
    rewriting
    0 references
    nominal syntax
    0 references
    combinatory reduction systems
    0 references
    higher-order syntax
    0 references
    translation tool
    0 references

    Identifiers