Jean-Simon Pacaud Lemay | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Gordon Plotkin
2 publications
Geoffrey Cruttwell
1 publication
Jonathan Gallagher
1 publication
Robin Cockett
1 publication
Benjamin MacAdam
1 publication
Dorette Pronk
1 publication
Jean-Baptiste Vienney
1 publication

research

∙ 03/19/2023

Graded Differential Categories and Graded Differential Linear Logic

In Linear Logic (𝖫𝖫), the exponential modality ! brings forth a distinct...

0 Jean-Simon Pacaud Lemay, 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