Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types (Q5094472)

From MaRDI portal
scientific article; zbMATH DE number 7566888
Language Label Description Also known as
English
Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types
scientific article; zbMATH DE number 7566888

    Statements

    Simple Type Theory is not too Simple: Grothendieck’s Schemes Without Dependent Types (English)
    0 references
    0 references
    0 references
    3 August 2022
    0 references
    sheaves
    0 references
    type theory
    0 references
    logic and verification
    0 references
    schemes
    0 references
    higher order logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references