Pages that link to "Item:Q1891251"

The following pages link to Strong normalization in type systems: A model theoretical approach (Q1891251):

Displaying 2 items.

• Perpetual reductions in \(\lambda\)-calculus (Q1286373) (← links)
• An induction principle for pure type systems (Q5958776) (← links)