TY  - JOUR
AU  - Sols Lucía, Ignacio
PY  - 1975
SN  - 0008-0004
UR  - https://hdl.handle.net/20.500.14352/64866
T2  - Cahiers de Topologie et Géométrie Différentielle Catégoriques
M2  - 312
PB  - NUMDAM (Numérisation de Documents Anciens Mathématiques)
TI  - Programming in topoi
TY  - journal article
VL  - 16
ER  -