Primitive recursive categories and machines

Lafont, Yves

Diagrammes, Volume 22 (1989) p. 7-13