Union of Reducibility Candidates for Orthogonal Constructor Rewriting

Colin Riba 1
1 EVEREST - Environments for Verification and Security of Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : We revisit Girard's reducibility candidates by proposing a general of the notion of neutral terms. They are the terms which do not interact with some contexts called elimination contexts. We apply this framework to constructor rewriting, and show that for orthogonal constructor rewriting, Girard's reducibility candidates are stable by union.
Type de document :
Pré-publication, Document de travail
2008
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00204710
Contributeur : Colin Riba <>
Soumis le : mardi 15 janvier 2008 - 13:27:12
Dernière modification le : samedi 27 janvier 2018 - 01:30:44
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 14:20:22

Fichier

orth.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00204710, version 1

Collections

Citation

Colin Riba. Union of Reducibility Candidates for Orthogonal Constructor Rewriting. 2008. 〈inria-00204710〉

Partager

Métriques

Consultations de la notice

77

Téléchargements de fichiers

94