Perspectives for proof unwinding by programming languages techniques

Danko Ilik 1
1 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : In this chapter, we propose some future directions of work, potentially beneficial to Mathematics and its foundations, based on the recent import of methodology from the theory of programming languages into proof theory. This scientific essay, written for the audience of proof theorists as well as the working mathematician, is not a survey of the field, but rather a personal view of the author who hopes that it may inspire future and fellow researchers.
Type de document :
Article dans une revue
IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (10), pp.3487-3508
Liste complète des métadonnées

Littérature citée [49 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01354180
Contributeur : Danko Ilik <>
Soumis le : mercredi 17 août 2016 - 17:43:45
Dernière modification le : jeudi 10 mai 2018 - 02:06:26
Document(s) archivé(s) le : vendredi 18 novembre 2016 - 11:48:28

Fichiers

KGS-book-chapter-danko.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Copyright (Tous droits réservés)

Identifiants

  • HAL Id : hal-01354180, version 1
  • ARXIV : 1605.09177

Citation

Danko Ilik. Perspectives for proof unwinding by programming languages techniques. IfColog Journal of Logics and their Applications (FLAP), College Publications, 2017, 4 (10), pp.3487-3508. 〈hal-01354180〉

Partager

Métriques

Consultations de la notice

228

Téléchargements de fichiers

74