Nouveau sur le blog de PragmaDial : la mise à disposition de diverses ressources. Les libellés vous aideront à vous repérer.
Pour commencer, deux preprint de travaux fortement liés aux recherches de l'équipe.
Le premier, de Thierry Coquand qui résume ainsi son point dans l'introduction : "In this paper, we reformulate Gentzen’s and Novikoff’s “finitist sense” of an arithmetic proposition as a winning strategy for a game associated to it."
Télécharger le document.
La version révisée a été publiée en 1995 dans Journal of Symbolic Logic 60, pp. 325-337.
Deuxième preprint, de Pierre-Louis Curien. Celui-ci concerne les arbres de Böhm.
Télécharger le document.
La version révisée a été publiée en 1998 dans Mathematical Structures in Computer Sciences 8(6), pp. 559-591.
Inscription à :
Publier les commentaires (Atom)
Aucun commentaire:
Enregistrer un commentaire