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=113256159.

Normalisation et équivalence en théorie de la démonstration et théorie des types [Texte imprimé] / Stéphane Lengrand ; sous la direction de Delia Kesner

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 2006

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Théorie des types -- Thèses et écrits académiques

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

Kesner, Delia (Directeur de thèse / thesis advisor)

Université Paris Diderot - Paris 7 (Organisme de soutenance / degree-grantor)

Relation : Normalisation et équivalence en théorie de la démonstration et théorie des types / Stéphane Lengrand / Villeurbanne : [CCSD] [diffusion/distribution] , 2007