Pages that link to "Item:Q1314345"
From MaRDI portal
The following pages link to Constructive proofs of the range property in lambda calculus (Q1314345):
Displayed 7 items.
- Towards the range property for the lambda theory \(\mathcal H\) (Q930864) (← links)
- Some results on extensionality in lambda calculus (Q1765154) (← links)
- Lambda theories allowing terms with a finite number of fixed points (Q2973253) (← links)
- Existential Type Systems with No Types in Terms (Q3637189) (← links)
- (Q4580329) (← links)
- The range property fails for H (Q4899168) (← links)
- Is sized typing for Coq practical? (Q6099202) (← links)