Pages that link to "Item:Q3083141"
From MaRDI portal
The following pages link to On the non-confluence of cut-elimination (Q3083141):
Displayed 5 items.
- On the form of witness terms (Q982183) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675) (← links)
- Expansion trees with cut (Q5236547) (← links)