Une étude des sommes fortes : isomorphismes et formes normales

Une étude des sommes fortes : isomorphismes et formes normales

Le but de cette thèse est d'étudier la somme et le zéro dans deux principaux cadres : les isomorphismes de types et la normalisation de lambda-termes. Les isomorphismes de type avaient déjà été étudiés dans le cadre du lambda-calcul simplement typé avec paires surjectives mais sans somme. Pour...

Full description

Bibliographic Details
Main Author: Balat, Vincent
Language:FRE
Published: Université Paris-Diderot - Paris VII 2002
Subjects:
[INFO:INFO_MO] Computer Science/Modeling and Simulation
[INFO:INFO_OH] Computer Science/Other
[INFO:INFO_SE] Computer Science/Software Engineering
lambda-calcul
types
catégories
isomorphismes
somme
co-produit
zéro
objet initial
formes normales
modèles
logique linéaire multiplicative
égalités arithmétiques
problème des égalités du lycée de Tarski
relations logiques de Grothendieck
normalisation par évaluation
évaluation partielle dirigée par les types
opérateurs de contrôle
ocaml
Online Access:http://tel.archives-ouvertes.fr/tel-00007880
http://tel.archives-ouvertes.fr/docs/00/04/75/03/PDF/tel-00007880.pdf

Internet

http://tel.archives-ouvertes.fr/tel-00007880
http://tel.archives-ouvertes.fr/docs/00/04/75/03/PDF/tel-00007880.pdf

Similar Items