Cited in
(9)- scientific article; zbMATH DE number 7471662 (Why is no real title available?)
- scientific article; zbMATH DE number 6932679 (Why is no real title available?)
- Generalizing inference systems by coaxioms
- Paco
- CoALP
- CoCaml
- Enhancing expressivity of checked corecursive streams
- Program equivalence by circular reasoning
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
This page was built for software: coFJ
