The following pages link to (Q4938598):
Displaying 9 items.
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- A direct proof of strong normalization for full constructive second-order logic (Q1769440) (← links)
- A new machine-checked proof of strong normalisation for display logic (Q2843910) (← links)
- Confluence of Pure Differential Nets with Promotion (Q3644769) (← links)
- On intuitionistic proof nets with additional rewrite rules and their approximations (Q4916174) (← links)
- (Q5039187) (← links)
- Proof normalization for resolution and paramodulation (Q5055708) (← links)
- The conservation theorem for differential nets (Q5360213) (← links)