The following pages link to (Q3024838):
Displaying 11 items.
- Adding algebraic rewriting to the untyped lambda calculus (Q1207945) (← links)
- Theories of types and names with positive stratified comprehension (Q1288964) (← links)
- Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325) (← links)
- (Q3138540) (← links)
- (Q3194765) (← links)
- Positive Frege and its Scott‐style semantics (Q3520230) (← links)
- (Q4263869) (← links)
- A partial evaluator for the untyped lambda-calculus (Q4939696) (← links)
- M. H. Newman's Typability Algorithm for Lambda-calculus (Q5385202) (← links)
- [Russian Text Ignored] (Q5895465) (← links)
- Typed lambda-calculus in classical Zermelo-Fraenkel set theory (Q5945009) (← links)