Dorette Pronk

According to our database, Dorette Pronk authored at least 4 papers between 2007 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Monoidal reverse differential categories.

Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Dorette Pronk

Math. Struct. Comput. Sci., November, 2022

2020

Categorical semantics of a simple differential programming language.

Geoffrey S. H. Cruttwell, Jonathan Gallagher, Dorette Pronk

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Reverse Derivative Categories.

J. Robin B. Cockett, Geoff S. H. Cruttwell, Jonathan Gallagher, Jean-Simon Pacaud Lemay, Benjamin MacAdam, Gordon D. Plotkin, Dorette Pronk

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2007

Conformal Field Theory as a Nuclear Functor.

Richard Blute, Prakash Panangaden, Dorette Pronk

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007