Operational aspects of untyped Normalisation by Evaluation (Q4818938): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Changed an Item
Property / describes a project that uses
 
Property / describes a project that uses: Haskell / rank
 
Normal rank

Revision as of 16:55, 29 February 2024

scientific article; zbMATH DE number 2102871
Language Label Description Also known as
English
Operational aspects of untyped Normalisation by Evaluation
scientific article; zbMATH DE number 2102871

    Statements

    Operational aspects of untyped Normalisation by Evaluation (English)
    0 references
    0 references
    0 references
    24 September 2004
    0 references

    Identifiers