Geodesic
A complete characterization of primitive recursive intensional behaviours
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 69-82

Voir la notice de l'article provenant de la source Numdam

We give a complete characterization of the class of functions that are the intensional behaviours of primitive recursive (PR) algorithms. This class is the set of primitive recursive functions that have a null basic case of recursion. This result is obtained using the property of ultimate unarity and a geometrical approach of sequential functions on N the set of positive integers.

DOI : 10.1051/ita:2007053
Classification : 68Q25, 68Q55, 68W40
Keywords: intensional behaviour, semantics, primitive recursion 
@article{ITA_2008__42_1_69_0,
     author = {Valarcher, P.},
     title = {A complete characterization of primitive recursive intensional behaviours},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {69--82},
     publisher = {EDP-Sciences},
     volume = {42},
     number = {1},
     year = {2008},
     doi = {10.1051/ita:2007053},
     mrnumber = {2382552},
     zbl = {1148.68388},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1051/ita:2007053/}
}
TY  - JOUR
AU  - Valarcher, P.
TI  - A complete characterization of primitive recursive intensional behaviours
JO  - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
PY  - 2008
SP  - 69
EP  - 82
VL  - 42
IS  - 1
PB  - EDP-Sciences
UR  - http://geodesic.mathdoc.fr/articles/10.1051/ita:2007053/
DO  - 10.1051/ita:2007053
LA  - en
ID  - ITA_2008__42_1_69_0
ER  - 
%0 Journal Article
%A Valarcher, P.
%T A complete characterization of primitive recursive intensional behaviours
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2008
%P 69-82
%V 42
%N 1
%I EDP-Sciences
%U http://geodesic.mathdoc.fr/articles/10.1051/ita:2007053/
%R 10.1051/ita:2007053
%G en
%F ITA_2008__42_1_69_0
Valarcher, P. A complete characterization of primitive recursive intensional behaviours. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 42 (2008) no. 1, pp. 69-82. doi: 10.1051/ita:2007053

Cité par Sources :