Conference Papers Year : 2014

De la KAM avec un Processus d'Ordre Supérieur

Abstract

Nous présentons un encodage simple et direct de la machine abstraite de Krivine (KAM) dans le calcul de processus d'ordre supérieur HOcore, en utilisant un nombre très restreint de canaux de communication. Cet encodage montre qu'il est possible de capturer l'expressivité du lambda-calcul en HOcore dès que l'on fixe l'ordre d'évaluation. Nous donnons également une nouvelle borne inférieure pour le nombre minimal de restrictions nécessaire pour rendre l'équivalence de programmes dans HOcore indécidable.
Fichier principal
Vignette du fichier
breakingbad.pdf (106) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-00966097 , version 1 (26-03-2014)
hal-00966097 , version 2 (27-01-2016)

Identifiers

  • HAL Id : hal-00966097 , version 2

Cite

Damien Pous, Alan Schmitt. De la KAM avec un Processus d'Ordre Supérieur. JFLAs 2014, Jan 2014, Fréjus, France. pp.1-12. ⟨hal-00966097v2⟩
667 View
243 Download

Share

More