The following pages link to (Q4783334):
Displaying 4 items.
- Substitution in non-wellfounded syntax with variable binding (Q703526) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Monotone recursive types and recursive data representations in Cedille (Q5076393) (← links)