The following pages link to Term-generic logic (Q2339466):
Displaying 7 items.
- First-order Glue (Q1006481) (← links)
- A formalized general theory of syntax with bindings (Q1687739) (← links)
- A formalized general theory of syntax with bindings: extended version (Q1984791) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Rensets and renaming-based recursion for syntax with bindings (Q2104549) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Rensets and renaming-based recursion for syntax with bindings extended version (Q6111524) (← links)