The following pages link to (Q3086781):
Displaying 5 items.
- Proving properties of typed \(\lambda\)-terms using realizability, covers, and sheaves (Q673628) (← links)
- Probabilistic approach to the lambda definability for fourth order types (Q2851692) (← links)
- (Q3343960) (← links)
- Axioms for the Theory of Lambda-Conversion (Q3714048) (← links)
- Axiomatic rewriting theory II: the -calculus enjoys finite normalisation cones (Q4500179) (← links)