A semantics and a syntax for ordinal notations and hierarchies

Guillaume Bonfante 1 Adam Cichon François Lamarche
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : l'utilisation des hiérarchies de fonctions a été initiée en 1953 par Grzegorczyk. Il propose une stratification des fonctions primitives récursives. Ce résultat peut etre étendu en utilisant des ordinaux ainsi que l'on montré Lob et Wainer. Le fait que le
Type de document :
Rapport
[Intern report] 98-R-070 || bonfante98b, 1998, 33 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00098560
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:03:26
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

  • HAL Id : inria-00098560, version 1

Collections

Citation

Guillaume Bonfante, Adam Cichon, François Lamarche. A semantics and a syntax for ordinal notations and hierarchies. [Intern report] 98-R-070 || bonfante98b, 1998, 33 p. 〈inria-00098560〉

Partager

Métriques

Consultations de la notice

101