Programming in topoi
| dc.contributor.author | Sols Lucía, Ignacio | |
| dc.date.accessioned | 2023-06-21T02:06:29Z | |
| dc.date.available | 2023-06-21T02:06:29Z | |
| dc.date.issued | 1975 | |
| dc.description | 2º Colloque sur l´algebre des categories (Amiens 1975) | |
| 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/22055 | |
| dc.identifier.issn | 0008-0004 | |
| dc.identifier.officialurl | http://www.numdam.org/numdam-bin/feuilleter?j=CTGDC | |
| dc.identifier.relatedurl | http://www.numdam.org/?lang=fr | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/64866 | |
| dc.issue.number | 3 | |
| dc.journal.title | Cahiers de Topologie et Géométrie Différentielle Catégoriques | |
| dc.page.final | 319 | |
| dc.page.initial | 312 | |
| dc.publisher | NUMDAM (Numérisation de Documents Anciens Mathématiques) | |
| dc.rights.accessRights | metadata only access | |
| dc.subject.cdu | 515.1 | |
| dc.subject.ucm | Topología | |
| dc.subject.unesco | 1210 Topología | |
| dc.title | Programming in topoi | |
| dc.type | journal article | |
| dc.volume.number | 16 | |
| dcterms.references | Freyd, P., Aspects of topoi, Bull. Austr. Math. Soc. 7 (1972). Coste M. F., Coste M. and Parent J., Algèbres de Heyting dans les topos, Séminaire Bénabou, Paris (1975). Osius G., Logical and set theoretical tools in elementary topoi, Lecture Notes in Math. 445 (1975). Kock A. and Wraight G., Elementary topos, Aarbus Lecture Notes 30 (1971). Scott D., The lattice of Flow-diagrams, Lecture Notes in Math. 182 (1971). Sols I., Aportaciones a la teoría de topos, al álgebra universal y a las matemáticas fuzzy. Tesis doctoral Zaragoza (1975). Ehrig H., Kuhnel W. and Pfender M., Diagram characterization of recursion, Lectures Notes in Computer Sc. 25, Springer (1975). | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 6d35def4-3d5f-4978-800f-82b7edf76b5d | |
| relation.isAuthorOfPublication.latestForDiscovery | 6d35def4-3d5f-4978-800f-82b7edf76b5d |