The following pages link to (Q3121528):
Displayed 5 items.
- (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)
- Classical (co)recursion: Mechanics (Q6132720) (← links)