Accueil
Déposer
S'authentifier
S'inscrire
Consulter
Par domaine
Les 30 dernières thèses déposées
Par établissement
Par année de soutenance
Par collection
Rechercher
Recherche simple
Recherche avancée
Accès par identifiant
S'abonner
Manuel
À propos
version française
english version
Nombre de documents trouvés : 2 documents
Séquents qu'on calcule: de l'interprétation du calcul des séquents comme calcul de lambda-termes et comme calcul de stratégies gagnantes
Herbelin H.
Université Denis Diderot - Paris VII (23/01/1995), Thierry Coquand (Dir.) [tel-00382528 − version 1]
Une Théorie des Constructions Inductives
Werner B.
Université Denis Diderot - Paris VII (02/05/1994), Christine Paulin-Mohring (Dir.) [tel-00196524 − version 2]
L'URL de cette page est :
http://tel.archives-ouvertes.fr/lab/coq/
