Dorette Pronk

Publication Activity (10 Years)

Years Active: 2007-2022
Publications (10 Years): 5

Top Topics

Database Languages

Denotational Semantics

Gaussian Function

Semantic Data Models

Top Venues

Math. Struct. Comput. Sci.

Publications

Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal reverse differential categories. Math. Struct. Comput. Sci. 32 (10) (2022)
Geoffrey S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk
Monoidal Reverse Differential Categories. CoRR (2022)
Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk
Categorical semantics of a simple differential programming language. ACT (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse Derivative Categories. CSL (2020)
J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk
Reverse derivative categories. CoRR (2019)
Richard Blute, Prakash Panangaden, Dorette Pronk
Conformal Field Theory as a Nuclear Functor. Electron. Notes Theor. Comput. Sci. 172 (2007)