Primitive recursive algebraic theories with applications to program schemes
Loading...
Official URL
Full text at PDC
Publication date
1975
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
NUMDAM (Numérisation de Documents Anciens Mathématiques)
Citations
Exportar
Citation
Abstract
Description
Deuxième colloque sur l´algèbre des catégories. Amiens-1975. Résumés des conférences.