The following pages link to CoCaml (Q34448):
Displaying 6 items.
- Integrating induction and coinduction via closure operators and proof cycles (Q2096458) (← links)
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- Generalizing Inference Systems by Coaxioms (Q2988632) (← links)
- (Q3121528) (← links)
- (Q5028421) (← links)
- Nominal Unification and Matching of Higher Order Expressions with Recursive Let (Q5075515) (← links)
