Pages that link to "Item:Q818927"
From MaRDI portal
The following pages link to A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927):
Displayed 5 items.
- Strong normalization results by translation (Q636353) (← links)
- A completeness result for the simply typed \(\lambda \mu \)-calculus (Q732057) (← links)
- Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
- Some properties of the -calculus (Q4583170) (← links)
- (Q4957786) (← links)