TY - JOUR AU - Mentrasti, P. AU - Protasi, M. TI - Extended primitive recursive functions JO - RAIRO. Informatique théorique PY - 1982 SP - 73 EP - 84 VL - 16 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1982__16_1_73_0/ LA - en ID - ITA_1982__16_1_73_0 ER -