Publication:
Primitive recursive algebraic theories with applications to program schemes

No Thumbnail Available
Official URL
http://www.numdam.org/numdam-bin/browse?j=CTGDC&sl=0
Full text at PDC
Publication Date
1975
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
NUMDAM (Numérisation de Documents Anciens Mathématiques)
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM
Research Projects
Organizational Units
Journal Issue
Abstract
Description
Deuxième colloque sur l´algèbre des catégories. Amiens-1975. Résumés des conférences.
UCM subjects
Análisis matemático
Unesco subjects
1202 Análisis y Análisis Funcional
Keywords
Citation
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).
URI
https://hdl.handle.net/20.500.14352/64864
Collections
Artículos