Normalization by evaluation for modal dependent type theory (Q6065506): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1017/s0956796823000060 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1017/S0956796823000060 / rank
 
Normal rank

Latest revision as of 18:07, 30 December 2024

scientific article; zbMATH DE number 7775446
Language Label Description Also known as
English
Normalization by evaluation for modal dependent type theory
scientific article; zbMATH DE number 7775446

    Statements

    Normalization by evaluation for modal dependent type theory (English)
    0 references
    0 references
    0 references
    0 references
    11 December 2023
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers