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