Acyclic suports and programming
- Rubio García, Julio
- Sergeraert, F.
ISSN: 0303-1179
Año de publicación: 1990
Volumen: 192
Páginas: 35-55
Tipo: Artículo
Otras publicaciones en: ASTERISQUE
Resumen
The acyclic carrier method is examined. On one hand it is slightly generalized so that its scope is significantly enlarged. On the other hand the problem of implementing this method on a computer is studied. The answer is quite positive: the acyclic carrier method can be programmed in a way which is very close to the mathematical formulation. In particular the various categories and functors needed in this framework can be constructed and easily handled on a machine. The relationship between these constructions and the logical foundations of mathematics are discussed too. Some examples of actual computations are described