Jean-Baptiste Vienney

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Sufficient Conditions

Top Venues

Publications

Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney
Graded Differential Categories and Graded Differential Linear Logic. CoRR (2023)
Jean-Baptiste Vienney
-linear categories. CoRR (2023)