J.R.B. Cockett

EXPERT SYSTEMS TECHNIQUES IN A COMPUTER-BASED CONTROL SYSTEM ANALYSIS AND DESIGN ENVIRONMENT

Michael Athans, A. J. Laub, John Douglas Birdwell, 1985 .

Differential Categories Revisited

J.R.B. Cockett, R. F. Blute, J-S.P. Lemay, 2020, Appl. Categorical Struct..

Applications of Categories in Computer Science: Weakly distributive categories

J.R.B. Cockett, R.A.G. Seely, 1992 .

Differential Equations in a Tangent Category I: Complete Vector Fields, Flows, and Exponentials

J.R.B. Cockett, G.S.H. Cruttwell, J.-S. P. Lemay, 2021, Appl. Categorical Struct..

DIFFERENTIAL RESTRICTION CATEGORIES

J.R.B. Cockett, G.S.H. Cruttwell, J. Cockett, 2012, 1208.4068.