Nécessité faite loi

Pierre-Marie Pédrot 1 Alexis Saurin 1
1 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
Résumé : À partir de la réduction linéaire de tête, nous dérivons de manière systématique un calcul en appel par nécessité. L'introduction d'un calcul pour la réduction linéaire de tête, basée sur une analyse fine de la notion de radicaux premiers de Danos et Regnier, nous permet de construire pas à pas un lambda-calcul en appel par nécessité que l'on compare aux calculs présents dans la littérature.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01248779
Contributor : Pierre-Marie Pédrot <>
Submitted on : Monday, December 28, 2015 - 5:43:36 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01248779, version 1

Collections

Citation

Pierre-Marie Pédrot, Alexis Saurin. Nécessité faite loi. JFLA, Jan 2014, Fréjus, France. 〈hal-01248779〉

Share

Metrics

Record views

111

Files downloads

94