The following pages link to Friends with Benefits (Q2988636):
Displayed 13 items.
- AmiCo (Q32994) (← links)
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Non-well-founded deduction for induction and coinduction (Q2055840) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Friends with Benefits (Q2988636) (← links)
- POPLMark reloaded: Mechanizing proofs by logical relations (Q5110924) (← links)
- Elaborating dependent (co)pattern matching: No pattern left behind (Q5110925) (← links)
- (Q5875344) (← links)
- (Q5875411) (← links)
- Into the Infinite - Theory Exploration for Coinduction (Q6108814) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)