Primitive recursive algebraic theories and program schemes
| dc.contributor.author | Kühnel, W. | |
| dc.contributor.author | Meseguer Guaita, José | |
| dc.contributor.author | Pfender, Michael | |
| dc.contributor.author | Sols Lucía, Ignacio | |
| dc.date.accessioned | 2023-06-21T02:05:39Z | |
| dc.date.available | 2023-06-21T02:05:39Z | |
| dc.date.issued | 1977 | |
| dc.description.department | Depto. de Álgebra, Geometría y Topología | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.refereed | TRUE | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/21721 | |
| dc.identifier.doi | 10.1017/S0004972700010431 | |
| dc.identifier.issn | 0004-9727 | |
| dc.identifier.officialurl | http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=4839788 | |
| dc.identifier.relatedurl | http://journals.cambridge.org/action/login?sessionId=1BFA16F88DF6071319BBEEB6AFFD154A.journals | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/64833 | |
| dc.issue.number | 2 | |
| dc.journal.title | Bulletin of the Australian Mathematical Society | |
| dc.language.iso | eng | |
| dc.page.final | 233 | |
| dc.page.initial | 207 | |
| dc.publisher | Cambridge University Press | |
| dc.rights.accessRights | restricted access | |
| dc.subject.cdu | 510.22 | |
| dc.subject.ucm | Teoría de conjuntos | |
| dc.subject.unesco | 1201.02 Teoría Axiomática de Conjuntos | |
| dc.title | Primitive recursive algebraic theories and program schemes | |
| dc.type | journal article | |
| dc.volume.number | 17 | |
| dcterms.references | Alagić,Suad, Arbib, Michael A.,Taylor, Robert W.,“Algebraic models of syntax, semantics and data structures” (Computer and Information Science Technical Report 74B−1. University of Massachusetts at Amherst, Amherst, 1974). Arbib, M.A. and Give'on, Y., “Algebra automata I: Parallel programming as a prolegomena to the categorical approach”, Information and Control 12 (1968), 331–345. Bénabou, Jean,“Structures algébriques dans les catégories”, Cahiers Topologie Géom. Différentielle 10 (1968), 1–126. Dubuc, Eduardo, “Adjoint triangles”, Reports on the Midwest Category Seminar II, 69–91 (Lecture Notes in Mathematics, 61.Springer-Verlag, Berlin, Heidelberg, New York, 1968. Ehrig,Hartmut,Kühnel,Wolfgang,Pfender,Michael, “Characterization of recursion”, Category theory applied to computation and control, 137–143 (Proc. First Internat. Sympos.,San Francisco, 1974. Lecture Notes in Computer Science, 25. Springer-Verlag, Berlin, Heidelberg, New York, 1975). Eilenberg, Samuel, Wright, Jesse B., “Automata in general algebras ”, Information and Control 11 ( 1967 ), 452 - 470. Eilenberg, Samuel, Elgot, Calvin C., Recursiveness(Academic Press, New York and London, 1970). Elgot, C.C., “Monadic computation and iterative algebraic theories” (Report RC4564. IBM Research, Yorktown Heights, New York; San Jose, California; Zurich, Switzerland; 1973). Freyd, Peter, “ Aspects of topoi ”, Bull. Austral. Math. Soc.7 (1972), 1–76. Goguen,J.A. and Thatcher, J.W., “Initial algebra semantics” (Report RC4865. IBM Research, Yorktown Heights, New York; San Jose, California; Zurich, Switzerland; 1974). Joyal, M. André, “Arithmetic universes”,unpublished talk at Conference on Category Theory,Oberwolfach,July 1973. Kühnel, W., Meseguer, J., Pfender, M., Sols, I., “Algebras with actions and automata” (Preprint Reihe Mathematik, 9. Technische Universität, Berlin, 1975). Kühnel, W., Meseguer, J., Pfender, M., Sols, I., “Primitive recursive algebraic theories with applications to program schemes”, Cahiers Topologie Géom. Différentielle 16 (1975), 271–273. Lawvere, Francis William Jr., “Functorial semantics of algebraic theories” (PhD thesis, Columbia University, New York, 1963); see also: F. William Lawvere, “Functorial semantics of algebraic theories”, Proc. Nat. Acad. Sci. USA 50 (1963), 869–873. Lawvere, F. William, “An elementary theory of the category of sets”, Proc. Nat. Acad. Sci. USA 52 (1964), 1506–1511. Linton,F.E.J.,“Some aspects of equational categories”,Proc. Conf. Categorical Algebra,La Jolla, California,1965, 84–95 (Springer-Verlag, Berlin, Heidelberg, New York, 1966). Linton, F.E.J., “Coequalizers in categories of algebras”, Seminar on triples and categorical homology theory, 75–90 (Lecture Notes in Mathematics, 80. Springer-Verlag, Berlin, Heidelberg, New York, 1969). Lane, Saunders Mac, Birkhoff, Garrett, Algebra (Macmillan, New York; Collier-Macmillan, London; 1967). Guaita, José Meseguer, “Algebra universal y recursion primitiva en categorias monoidales” (Departamento de Electricidad y Electronica, Universidad de Zaragoza, Spain, 1975). Meyer, A.R., Ritchie, D.M., “Computational complexity and program structure” (Report RC1817. IBM Research, Yorktown Heights, New York; San Jose, California; Zurich, Switzerland; 1967). Pfender, Michael, Universal algebra in S-monoidal categories (Algebra-Berichte, 20. Mathematisches Institut der Universität München, Verlag Uni-Druck, München, 1974). Lucia, Ignacio Sols, “Aportaciones a la teoria de topos, al algebra universal y a las matematicas fuzzy” (Departamento de Geometria y Topologia, Universidad de Zaragoza, Spain, 1975). | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 6d35def4-3d5f-4978-800f-82b7edf76b5d | |
| relation.isAuthorOfPublication.latestForDiscovery | 6d35def4-3d5f-4978-800f-82b7edf76b5d |
Download
Original bundle
1 - 1 of 1