scientific article; zbMATH DE number 7649963
From MaRDI portal
Publication:5875422
DOI10.4230/LIPIcs.ITP.2019.14MaRDI QIDQ5875422
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 (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Universal coalgebra: A theory of systems
- Hammer for Coq: automation for dependent type theory
- Inductive types and type constraints in the second-order lambda calculus
- A lattice-theoretical fixpoint theorem and its applications
- The power of parameterization in coinductive proof
- Introduction to Bisimulation and Coinduction
- Practical coinduction
- Well-founded recursion with copatterns and sized types
- An introduction to (co)algebra and (co)induction
This page was built for publication: