1. New Foundations for the Geometry of Interaction;Abramsky;Inf. Comput.,1994
2. Differential categories;Blute;Mathematical structures in computer science,2006
3. Cartesian differential categories;Blute;Theory and Applications of Categories,2009
4. Derivations in codifferential categories;Blute;Cahiers de Topologie et Géométrie Différentielle Catégoriques,2016
5. Fock space: a model of linear exponential types;Blute;Manuscript, revised version of the MFPS paper above,1994