The following pages link to AmiCo (Q32994):
Displaying 6 items.
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Elaborating dependent (co)pattern matching: No pattern left behind (Q5110925) (← links)
- (Q5875344) (← links)
- (Q5875411) (← links)