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

Réflexion, calculs et logiques / Hubert Godfroy ; sous la direction de Jean-Yves Marion

Date :

Editeur / Publisher : , 2017

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Catalogue Worldcat

Virus informatiques -- Thèses et écrits académiques

Isomorphisme de Curry-Howard -- Thèses et écrits académiques

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

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

Logique informatique -- Thèses et écrits académiques

Classification Dewey : 005.131

Marion, Jean-Yves (Directeur de thèse / thesis advisor)

Cortier, Véronique (Président du jury de soutenance / praeses)

Retoré, Christian (1964-....) (Rapporteur de la thèse / thesis reporter)

Dowek, Gilles (1966-....) (Rapporteur de la thèse / thesis reporter)

Melliès, Paul-André (Membre du jury / opponent)

Faggian, Claudia (1969-....) (Membre du jury / opponent)

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

IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire lorrain de recherche en informatique et ses applications (Laboratoire associé à la thèse / thesis associated laboratory)