Pages that link to "Item:Q1772778"
From MaRDI portal
The following pages link to Non-strictly positive fixed points for classical natural deduction (Q1772778):
Displayed 8 items.
- Strong normalization results by translation (Q636353) (← links)
- Inhabitation of polymorphic and existential types (Q636375) (← links)
- A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927) (← links)
- Strong normalization proofs by CPS-translations (Q845711) (← links)
- Strong normalization of classical natural deduction with disjunctions (Q2482841) (← links)
- A simple proof of second-order strong normalization with permutative conversions (Q2566069) (← links)
- Two extensions of system F with (co)iteration and primitive (co)recursion principles (Q3653093) (← links)
- Some properties of the -calculus (Q4583170) (← links)