TY - JOUR AU - Lafont, Yves TI - Primitive recursive categories and machines JO - Diagrammes PY - 1989 SP - 7 EP - 13 VL - 22 PB - Université Paris 7, Unité d'enseignement et de recherche de mathématiques UR - http://www.numdam.org/item/DIA_1989__22__7_0/ LA - en ID - DIA_1989__22__7_0 ER -