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
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00098560
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:03:26 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

112