Cited in
(12)- scientific article; zbMATH DE number 7471662 (Why is no real title available?)
- Generalizing inference systems by coaxioms
- Fudgets
- Paco
- CoALP
- ocaml-cyclist
- coFJ
- Enhancing expressivity of checked corecursive streams
- Integrating induction and coinduction via closure operators and proof cycles
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- Zooid
This page was built for software: CoCaml
