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