Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=043893147.

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 :

Editeur / Publisher : , 1989

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

LISP (langage de programmation) -- Thèses et écrits académiques

Lambda-calcul -- Thèses et écrits académiques

Marchand, Pierre (1945-....) (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 (Organisme de soutenance / degree-grantor)