Differential calculus and nilpotent real numbers. - Anders Kock (Bull. Symb. Log., 2003)

Affine Connections, and Midpoint Formation. - Anders Kock (DGCI, 2009)

Cubical Version of Combinatorial Differential Forms. - Anders Kock (Appl. Categorical Struct., 2010)

Affine connections, midpoint formation, and point reflection. - Anders Kock (Theor. Comput. Sci., 2011)

Local fibred right adjoints are polynomial. - Anders Kock; Joachim Kock (Math. Struct. Comput. Sci., 2013)