Jean-Jacques (19..-.... ; mathématicien) Lévy

Minimal and optimal computations of recursive programs

Minimal and optimal computations of recursive programs

1977

An Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus

An Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus

1975