%0 Journal Article
%A Miranda-Perea, Favio Ezequiel
%T Two extensions of system ${\mathsf {F}}$ with (co)iteration and primitive (co)recursion principles
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2009
%P 703-766
%V 43
%N 4
%I EDP-Sciences
%U http://www.numdam.org/articles/10.1051/ita/2009015/
%R 10.1051/ita/2009015
%G en
%F ITA_2009__43_4_703_0