Similar Items: Generic Fibrational Induction
- Indexed Induction and Coinduction, Fibrationally
- A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
- Generic Trace Semantics via Coinduction
- Signatures and Induction Principles for Higher Inductive-Inductive Types
- Generic Modal Cut Elimination Applied to Conditional Logics
- Generic algorithms for halting problem and optimal machines revisited