Primitive recursive algebraic theories with applications to program schemes

Thumbnail Image

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

URI

https://hdl.handle.net/20.500.14352/64864

Citation

Abstract

Research Projects

Organizational Units

Journal Issue

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

Collections

Artículos