scientific article; zbMATH DE number 7649955
From MaRDI portal
Publication:5875411
DOI10.4230/LIPIcs.ITP.2019.6MaRDI QIDQ5875411
No author found.
Publication date: 3 February 2023
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Quotients of Bounded Natural Functors ⋮ Polynomial Functors and Shannon Entropy ⋮ Unnamed Item ⋮ Non-well-founded deduction for induction and coinduction
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Relation lifting, a survey
- Une théorie combinatoire des séries formelles
- Inductive families
- Universal coalgebra: A theory of systems
- Isabelle/HOL. A proof assistant for higher-order logic
- Foundational (co)datatypes and (co)recursion for higher-order logic
- On tree coalgebras and coalgebra presentations
- Terminal coalgebras in well-founded set theory
- A lattice-theoretical fixpoint theorem and its applications
- Truly Modular (Co)datatypes for Isabelle/HOL
- Relating Coalgebraic Notions of Bisimulation
- A Formalized Hierarchy of Probabilistic System Types
- Friends with Benefits
- The Lean Theorem Prover (System Description)
- Type Theory based on Dependent Inductive and Coinductive Types
- A final coalgebra theorem
- Mathematics of Program Construction
- Pragmatic Quotient Types in Coq
- Indexed containers
- Theorem Proving in Higher Order Logics
- Types for Proofs and Programs
- Codifying guarded definitions with recursive schemes
This page was built for publication:
