Pages that link to "Item:Q1407527"

The following pages link to Strong normalization of a symmetric lambda calculus for second-order classical logic (Q1407527):

Displaying 11 items.

• A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927) (← links)
• Strong normalization property for second order linear logic (Q1044837) (← links)
• A direct proof of strong normalization for full constructive second-order logic (Q1769440) (← links)
• Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
• Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
• A denotational semantics of \(LC2\) (Q1908817) (← links)
• A symmetric lambda calculus for classical program extraction (Q1917084) (← links)
• \(\lambda \rho\)-calculus. II (Q2434902) (← links)
• Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
• (Q4472466) (← links)
• (Q5714454) (← links)