Pages that link to "Item:Q2988632"
From MaRDI portal
The following pages link to Generalizing Inference Systems by Coaxioms (Q2988632):
Displaying 7 items.
- Enhancing expressivity of checked corecursive streams (Q2163153) (← links)
- (Q3121528) (← links)
- (Q5028421) (← links)
- Soundness Conditions for Big-Step Semantics (Q5041092) (← links)
- Inference Systems with Corules for Combined Safety and Liveness Properties of Binary Session Types (Q5043586) (← links)
- Flexible coinductive logic programming (Q5140017) (← links)
- Checked corecursive streams: expressivity and completeness (Q6049926) (← links)
