coFJ
From MaRDI portal
Software:40984
No author found.
Related Items (6)
Enhancing expressivity of checked corecursive streams ⋮ Generalizing Inference Systems by Coaxioms ⋮ Unnamed Item ⋮ Program equivalence by circular reasoning ⋮ Unnamed Item ⋮ Unnamed Item
This page was built for software: coFJ
