Gordon Plotkin | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jean-Simon Pacaud Lemay
2 publications
Prakash Panangaden
2 publications
Geoffrey Cruttwell
1 publication
Jonathan Gallagher
1 publication
Robin Cockett
1 publication
Benjamin MacAdam
1 publication
Dorette Pronk
1 publication
Giorgio Bacci
1 publication
Radu Mardare
1 publication

research

∙ 02/02/2023

Propositional Logics for the Lawvere Quantale

Lawvere showed that generalised metric spaces are categories enriched ov...

0 Giorgio Bacci, et al. ∙

research

∙ 10/15/2019

Reverse derivative categories

The reverse derivative is a fundamental operation in machine learning an...

0 Robin Cockett, et al. ∙

Success!

An error occurred