Mayer Goldberg A construction of one-point bases in extended lambda calculi. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2004, v:89, n:6, pp:281-286 [Journal]

Mayer Goldberg Theoretical Pearl: An adequate and efficient left-associated binary numeral system in the Lambda-calculus. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2000, v:10, n:6, pp:607-623 [Journal]

Mayer Goldberg A Variadic Extension of Curry's Fixed-Point Combinator. [Citation Graph (0, 0)][DBLP] Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:371-388 [Journal]