Equational Reasoning with Applicative Functors (Q2829262)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Equational Reasoning with Applicative Functors
scientific article

    Statements

    title
    Equational Reasoning with Applicative Functors (English)
    0 references
    author
    Joshua Schneider
    0 references
    Andreas Lochbihler
    0 references
    publication date
    27 October 2016
    0 references
    Mathematics Subject Classification ID
    68N18
    0 references
    18A99
    0 references
    68V15
    0 references
    zbMATH DE Number
    6644748
    0 references
    describes a project that uses
    Transfer
    0 references
    Lifting
    0 references
    Applicative Lifting
    0 references
    Meta Model Isabelle
    0 references
    Density Compiler
    0 references
    Isabelle
    0 references
    HOL
    0 references
    Isabelle/HOL
    0 references
    Archive Formal Proofs
    0 references
    Coq
    0 references
    HOL-Omega
    0 references
    Stern-Brocot Tree
    0 references
    OpenAlex ID
    W2506655188
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2829262&oldid=36283392"
    Powered by MediaWiki