Primitive recursive algebraic theories and program schemes | Publicación