The following pages link to Mayer Goldberg (Q294780):
Displayed 10 items.
- Gödelization in the lambda calculus (Q294781) (← links)
- A variadic extension of Curry's fixed-point combinator (Q812092) (← links)
- A construction of one-point bases in extended lambda calculi (Q1029098) (← links)
- An adequate and efficient left-associated binary numeral system in the λ-calculus (Q2713367) (← links)
- A Pumping Lemma for Invalid Reductions of Fractions (Q2999705) (← links)
- (Q3150178) (← links)
- Ellipses and Lambda Definability (Q3196357) (← links)
- (Q4414735) (← links)
- Computing functions by approximating the input (Q4900166) (← links)
- (Q5472881) (← links)