Goldberg, Mayer

• BRICS Report Series No. 1 (2005): RS-1 On the Recursive Enumerability of Fixed-Point Combinators - Articles
  On the Recursive Enumerability of Fixed-Point Combinators
  Abstract  PDF
• BRICS Report Series No. 17 (2004): RS-17 Computing Logarithms Digit-by-Digit - Articles
  Computing Logarithms Digit-by-Digit
  Abstract  PDF
• BRICS Report Series No. 25 (2004): RS-25 On the Recursive Enumerability of Fixed-Point Combinators - Articles
  On the Recursive Enumerability of Fixed-Point Combinators
  Abstract  PDF
• BRICS Report Series No. 35 (2001): RS-35 A General Schema for Constructing One-Point Bases in the Lambda Calculus - Articles
  A General Schema for Constructing One-Point Bases in the Lambda Calculus
  Abstract  PDF
• BRICS Report Series No. 49 (1995): RS-49 Solving Equations in the lambda-Calculus using Syntactic Encapsulation - Articles
  Solving Equations in the lambda-Calculus using Syntactic Encapsulation
  Abstract  PDF
• BRICS Report Series No. 5 (1996): RS-5 Gödelisation in the lambda-Calculus (Extended Version) - Articles
  Gödelisation in the lambda-Calculus (Extended Version)
  Abstract  PDF
• BRICS Report Series No. 6 (1996): RS-6 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version) - Articles
  An Adequate Left-Associated Binary Numeral System in the lambda-Calculus (Revised Version)
  Abstract  PDF
• BRICS Report Series No. 35 (1995): RS-35 Constructing Fixed-Point Combinators Using Application Survival - Articles
  Constructing Fixed-Point Combinators Using Application Survival
  Abstract  PDF
• BRICS Report Series No. 42 (1995): RS-42 An Adequate Left-Associated Binary Numeral System in the lambda-Calculus - Articles
  An Adequate Left-Associated Binary Numeral System in the lambda-Calculus
  Abstract  PDF
• BRICS Report Series No. 38 (1995): RS-38 Gödelisation in the lambda-Calculus - Articles
  Gödelisation in the lambda-Calculus
  Abstract  PDF
• BRICS Report Series No. 3 (2005): RS-3 There and Back Again - Articles
  There and Back Again
  Abstract  PDF
• BRICS Report Series No. 39 (2001): RS-39 There and Back Again - Articles
  There and Back Again
  Abstract  PDF
• BRICS Report Series No. 12 (2002): RS-12 There and Back Again - Articles
  There and Back Again
  Abstract  PDF
• BRICS Report Series No. 1 (1997): RS-01 Partial Evaluation of the Euclidian Algorithm (Extended Version) - Articles
  Partial Evaluation of the Euclidian Algorithm (Extended Version)
  Abstract  PDF
• BRICS Report Series No. 37 (2002): RS-37 A Symmetric Approach to Compilation and Decompilation - Articles
  A Symmetric Approach to Compilation and Decompilation
  Abstract  PDF