Strong infinitesimal linearity, with applications to strong difference and affine connections A. Kock; R. Lavendhomme — 1984 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Cochain Functors for General Cohomology Theories I. I. Madsen; A. Kock; L. Kristensen — 1967 Mathematica Scandinavica
Cochain Functors for General Cohomology Theories II. I. Madsen; A. Kock; L. Kristensen — 1967 Mathematica Scandinavica
Corrigendum and addenda to the paper “Convenient vector spaces embed...” A. Kock; G. E. Reyes — 1987 Cahiers de Topologie et Géométrie Différentielle Catégoriques