Witnessing (co)datatypes
From MaRDI portal
Publication:2802441
Recommendations
Cited in
(9)- Foundational nonuniform (co)datatypes for higher-order logic
- A formalized hierarchy of probabilistic system types. Proof pearl
- Foundational (co)datatypes and (co)recursion for higher-order logic
- Nonfree datatypes in Isabelle/HOL. Animating a many-sorted metatheory
- Friends with benefits. Implementing corecursion in foundational proof assistants
- scientific article; zbMATH DE number 7471712 (Why is no real title available?)
- A decision procedure for (co)datatypes in SMT solvers
- Truly modular (co)datatypes for Isabelle/HOL
- A decision procedure for (co)datatypes in SMT solvers
This page was built for publication: Witnessing (co)datatypes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802441)