coFJ

MaRDI QIDQ40984swMATHFDO

Official website https://dl.acm.org/citation.cfm?id=2489807

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