The following pages link to (Q4992899):
Displaying 5 items.
- A model of guarded recursion via generalised equilogical spaces (Q1704599) (← links)
- Iteration and labelled iteration (Q1744383) (← links)
- The Guarded Lambda-Calculus: Programming and Reasoning with Guarded Recursion for Coinductive Types (Q2974778) (← links)
- (Q5155672) (← links)
- Codifying guarded definitions with recursive schemes (Q6083895) (← links)