Kühnel, W.Meseguer Guaita, JoséPfender, MichaelSols Lucía, Ignacio2023-06-212023-06-2119770004-972710.1017/S0004972700010431https://hdl.handle.net/20.500.14352/64833engPrimitive recursive algebraic theories and program schemesjournal articlehttp://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=4839788http://journals.cambridge.org/action/login?sessionId=1BFA16F88DF6071319BBEEB6AFFD154A.journalsrestricted access510.22Teoría de conjuntos1201.02 Teoría Axiomática de Conjuntos