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. 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. 38 (1995): RS-38 Gödelisation in the lambda-Calculus - Articles
Gödelisation in the lambda-Calculus
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. 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. 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