|
|
BRICS Report Series RS-95-35 ISSN 0909-0878 June 1995
– Copyright Brics Department, Mayer Goldberg, Mayer Goldberg
|
|
|
Gödelisation in the lambda-Calculus (extended version)
– Mayer Goldberg, Mayer Goldberg
- 1996
|
|
|
Solving Equations in the lambda-Calculus using Syntactic Encapsulation
– Mayer Goldberg, Mayer Goldberg
- 1995
|
|
|
Contents A Short Introduction to Systems F and Fω
– Pablo Nogueira
- 2006
|
|
|
A Meta-theory for Structured Presentations in the COC
– Sherri Shulman, James Hook, Thaddeus Kowalski, Richard Kieburtz
- 1997
|
|
|
Call-by-Value Combinatory Logic and the Lambda-Value Calculus
– John Gateley And, John Gateley, Bruce F. Duba
- 1991
|
|
|
Basic Research in Computer Science
– On The Recursive, Mayer Goldberg, Copyright C, Mayer Goldberg, Mayer Goldberg
- 2004
|
|
4
|
A Parallel Functional Language Compiler for Message-Passing Multicomputers
– Sahalu B. Junaidu
- 1998
|
|
4
|
Oostrom, Uniform normalisation beyond orthogonality
– Zurab Khasidashvili, Mizuhito Ogawa, Vincent Van Oostrom
- 2001
|
|
18
|
The Longest Perpetual Reductions in Orthogonal Expression Reduction Systems
– Zurab Khasidashvili
- 1994
|
|
6
|
Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems
– Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
|
|
9
|
Hierarchical Modularity And Intermodule Optimization
– Matthias Blume
- 1997
|
|
5
|
Nonmodularity Results for Lambda Calculus
– Antonino Salibra
- 2001
|
|
10
|
Parametric and Type-Dependent Polymorphism
– Giuseppe Longo
- 1995
|
|
5
|
An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction
– Paris Kanellakis, Gerd Hillebrand, Harry Mairson
- 1994
|
|
14
|
Fixed Points and Extensionality in Typed Functional Programming Languages
– Brian T. Howard
- 1992
|
|
6
|
On Global Dynamics of Optimal Graph Reduction
– Julia L. Lawall, Harry G. Mairson
- 1997
|
|
1
|
Why sets
– Andreas Blass, Yuri Gurevich, Yuri Gurevich
- 2008
|
|
1
|
Lambda calculus: models and theories
– Antonino Salibra
|
|
|
unknown title
– Pierre-louis Curien
- 2008
|
