Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte / Didier Vidal ; Sous la direction de Pierre Marchand

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

LISP (langage de programmation)

Lambda-calcul

Marchand, Pierre (1945-.... ; mathématicien) (Directeur de thèse / thesis advisor)

Université Henri Poincaré Nancy 1. Faculté des sciences et techniques (Autre partenaire associé à la thèse / thesis associated third party)

Université de Nancy I (1970-2012) (Organisme de soutenance / degree-grantor)

Relation : Nouvelles notions de réduction en lambda-calcul : Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte / Didier Vidal ; sous la direction de Pierre Marchand / Grenoble : Atelier national de reproduction des thèses , 1989

Résumé / Abstract : É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