An Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus
Connectez-vous pour ajouter ce livre à votre bibliothèque.
An Algebraic interpretation of the [lambda-beta-kappa]-calculus and a labelled [lambda]-calculus
Jean-Jacques (19..-.... ; mathématicien) Lévy
Autre
Première publication : 1975