Sign in
Aymeric Walch
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Multiscale
Real Time
Metadata
Additional Features
Top Venues
CoRR
LICS
</>
Publications
</>
Thomas Ehrhard
,
Aymeric Walch
Cartesian Coherent Differential Categories.
CoRR
(2023)
Thomas Ehrhard
,
Aymeric Walch
Cartesian Coherent Differential Categories.
LICS
(2023)
Thomas Ehrhard
,
Aymeric Walch
Coherent Taylor expansion as a bimonad.
CoRR
(2023)