(with Michael Makkai), First Order Categorical Logic , LNM 611, Springer Berlin 1977.
(with Ieke Moerdijk), Models for Smooth Infinitesimal Analysis , Springer Berlin 1991. (on synthetic differential geometry)
(with Marie La Palme Reyes and Houman Zolfaghari), Generic Figures and their Glueings , Polimetrica Milano 2004.
Marie La Palme Reyes
Models for Smooth Infinitesimal Analysis