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