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é Paris-Diderot - Paris VII (23/01/1995), Thierry Coquand (Dir.) [tel-00382528 - version 1]

Une Théorie des Constructions Inductives Werner B. Université Paris-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/