Pages that link to "Item:Q845711"
From MaRDI portal
The following pages link to Strong normalization proofs by CPS-translations (Q845711):
Displaying 6 items.
- Strong cut-elimination in sequent calculus using Klop's <i>ι</i>-translation and perpetual reductions (Q3617369) (← links)
- Monadic Translation of Intuitionistic Sequent Calculus (Q3638248) (← links)
- Some properties of the -calculus (Q4583170) (← links)
- (Q4957787) (← links)
- Monadic translation of classical sequent calculus (Q5410235) (← links)
- (Q5856422) (← links)
