De la KAM avec un Processus d'Ordre Supérieur - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

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

Résumé

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.96 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-00966097 , version 2

Citer

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⟩
599 Consultations
198 Téléchargements

Partager

Gmail Facebook X LinkedIn More