coFJ

swMATH29270MaRDI QIDQ40984FDOQ40984

Author name not available (Why is that?)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Enhancing expressivity of checked corecursive streams
• Generalizing Inference Systems by Coaxioms
• Program equivalence by circular reasoning
• Title not available (Why is that?)

This page was built for software: coFJ