thesis

Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte

Defense date:

Jan. 1, 1989

Edit

Institution:

Nancy 1

Disciplines:

Applied sciences

Authors:

Directors:

Abstract EN:

Pas de résumé disponible.

Abstract FR:

Élaboration des moyens pour la réalisation d'un langage fonctionnel qui implanterait directement le -calcul peut (en conservant la -notation) et plus précisément l'un de ses modèles