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

Typed abstract syntax [Texte imprimé] / par Julianna Zsidó ; sous la direction de André Hirschowitz

Date :

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

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Langages de programmation -- Syntaxe -- Thèses et écrits académiques

Catégories (mathématiques) -- Thèses et écrits académiques

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

Variables (mathématiques) -- Thèses et écrits académiques

Hirschowitz, André (1964-....) (Directeur de thèse / thesis advisor)

Université de Nice (Organisme de soutenance / degree-grantor)

Université de Nice-Sophia Antipolis. Faculté des sciences (Organisme de soutenance / degree-grantor)

École doctorale Sciences fondamentales et appliquées (Nice) (Organisme de soutenance / degree-grantor)