Q5875411 (Q5875411): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.4230/LIPIcs.ITP.2019.6 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Q4417849 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mathematics of Program Construction / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3992552 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A final coalgebra theorem / rank
 
Normal rank
Property / cites work
 
Property / cites work: On tree coalgebras and coalgebra presentations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Indexed containers / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Lean Theorem Prover (System Description) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Terminal coalgebras in well-founded set theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5014439 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Type Theory based on Dependent Inductive and Coinductive Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Foundational (co)datatypes and (co)recursion for higher-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Friends with Benefits / rank
 
Normal rank
Property / cites work
 
Property / cites work: Truly Modular (Co)datatypes for Isabelle/HOL / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5144617 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pragmatic Quotient Types in Coq / rank
 
Normal rank
Property / cites work
 
Property / cites work: Inductive families / rank
 
Normal rank
Property / cites work
 
Property / cites work: Types for Proofs and Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Codifying guarded definitions with recursive schemes / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3024837 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Formalized Hierarchy of Probabilistic System Types / rank
 
Normal rank
Property / cites work
 
Property / cites work: Theorem Proving in Higher Order Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Une théorie combinatoire des séries formelles / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relation lifting, a survey / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4099613 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Isabelle/HOL. A proof assistant for higher-order logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4222961 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Universal coalgebra: A theory of systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relating Coalgebraic Notions of Bisimulation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5875441 / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.4230/LIPICS.ITP.2019.6 / rank
 
Normal rank

Latest revision as of 17:43, 30 December 2024

scientific article; zbMATH DE number 7649955
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7649955

    Statements

    3 February 2023
    0 references
    data types
    0 references
    polynomial functors
    0 references
    inductive types
    0 references
    coinductive types
    0 references
    0 references
    0 references
    0 references

    Identifiers