De la KAM avec un Processus d'Ordre Supe'rieur

Abstract

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion de documents scientifiques de niveau recherche, publiés ou non, ´ emanant desétablissements d'enseignement et de recherche français oú etrangers, des laboratoires publics ou privés. Résumé Nous prsentons un encodage simple et direct de la machine abstraite de Krivine (KAM) dans le calcul de processus d'ordre suprieur HOcore, en utilisant un nombre trs restreint de canaux de communication. Cet encodage montre qu'il est possible de capturer l'expressivit du λ-calcul en HOcore ds que l'on fixe l'ordre d'valuation. Nous donnons galement une nouvelle borne infrieure pour le nombre minimal de restrictions ncessaire pour rendre l'quivalence de programmes dans HOcore indcidable.

Cite this paper

@inproceedings{Pous2014DeLK, title={De la KAM avec un Processus d'Ordre Supe'rieur}, author={Damien Pous and Alan Schmitt}, booktitle={JFLA}, year={2014} }