Login / Signup
Malena Ivnisky
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Cut Elimination
Proof Theoretic
Linear Logic
Logic Programming
Top Venues
CoRR
</>
Publications
</>
Alejandro Díaz-Caro
,
Gilles Dowek
,
Malena Ivnisky
,
Octavio Malherbe
A linear proof language for second-order intuitionistic linear logic.
CoRR
(2023)