On Irrelevance and Algorithmic Equality in Predicative Type Theory (Q2881097)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On Irrelevance and Algorithmic Equality in Predicative Type Theory
scientific article

    Statements

    On Irrelevance and Algorithmic Equality in Predicative Type Theory (English)
    0 references
    0 references
    0 references
    3 April 2012
    0 references
    0 references
    dependent types
    0 references
    proof irrelevance
    0 references
    typed algorithm equality
    0 references
    logical relation
    0 references
    universal Kripke model
    0 references
    0 references
    0 references
    0 references
    0 references