Primitive recursive algebraic theories with applications to 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:06:27Z | |
| dc.date.available | 2023-06-21T02:06:27Z | |
| dc.date.issued | 1975 | |
| dc.description | Deuxième colloque sur l´algèbre des catégories. Amiens-1975. Résumés des conférences. | |
| 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/22041 | |
| dc.identifier.issn | 0008-0004 | |
| dc.identifier.officialurl | http://www.numdam.org/numdam-bin/browse?j=CTGDC&sl=0 | |
| dc.identifier.relatedurl | http://www.numdam.org/?lang=en | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/64864 | |
| dc.issue.number | 3 | |
| dc.journal.title | Cahiers de Topologie et Géométrie Différentielle Catégoriques | |
| dc.page.final | 273 | |
| dc.page.initial | 271 | |
| dc.publisher | NUMDAM (Numérisation de Documents Anciens Mathématiques) | |
| dc.rights.accessRights | metadata only access | |
| dc.subject.cdu | 517 | |
| dc.subject.ucm | Análisis matemático | |
| dc.subject.unesco | 1202 Análisis y Análisis Funcional | |
| dc.title | Primitive recursive algebraic theories with applications to program schemes | |
| dc.type | journal article | |
| dc.volume.number | 16 | |
| dcterms.references | Arbib, M. and Give´On Y., Algebra Automata I, Inf and Control 12 (1968), 331-345. Benabou, J. Structures algébriques dans les catégories, Cabiers Topo. et Géo. dif. 10(1968), 1-126. Ehrig H, Kuhnel W. and Pfender M., Diagram characterization of recursion, Lecture Notes Comp. Sc. 25, 137-143. Eilenberg S. and Wright J., Automata in general algebras, Inf. and Control 11 (1967), 52-70. Elgot C. C., Monadic computation and iterative algebraic theories, IBM res. report RC 4564 (1963). Freyd P., Aspects of topoi, Bull. Austr. Matb. Soc. 7 (1972) 1-76. Goguen J. and Thatcher J. W., Initial algebra Semantics, IEEE Conf., Report SAWT 15 (1974), 63-77. Linton F. E. J., Some aspects of equational categories, Proc. Conf. Cat. alg., La Jolla, Springer (1966), 84-94. Meyer A. and Richtie D., Computational complexity and program structure, IBM res. report RC 18 (1967). | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 6d35def4-3d5f-4978-800f-82b7edf76b5d | |
| relation.isAuthorOfPublication.latestForDiscovery | 6d35def4-3d5f-4978-800f-82b7edf76b5d |