The following pages link to (Q4435469):
Displayed 5 items.
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- The lambda-context calculus (extended version) (Q1044184) (← links)
- PVS#: Streamlined Tacticals for PVS (Q2864359) (← links)
- Tactics and Parameters (Q4924546) (← links)
- Two-level Lambda-calculus (Q4982628) (← links)