The following pages link to (Q4362971):
Displaying 5 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Structural induction and coinduction in a fibrational setting (Q1275820) (← links)
- Greatest bisimulations for binary methods (Q2842564) (← links)
- Embeddability of ptykes (Q4032649) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)