Pages that link to "Item:Q4764266"
From MaRDI portal
The following pages link to A-translation and looping combinators in pure type systems (Q4764266):
Displayed 5 items.
- Type inference for pure type systems (Q1271309) (← links)
- Strong normalization from weak normalization in typed \(\lambda\)-calculi (Q1357009) (← links)
- (Q4222932) (← links)
- Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)
- An induction principle for pure type systems (Q5958776) (← links)