Login / Signup
A Linear Proof Language for Second-Order Intuitionistic Linear Logic.
Alejandro Díaz-Caro
Gilles Dowek
Malena Ivnisky
Octavio Malherbe
Published in:
WoLLIC (2024)
Keyphrases
</>
linear logic
intuitionistic logic
proof search
logic programming
proof theoretic
fixed point
sequent calculus
cut elimination
programming language
natural language
desirable properties
logical framework
higher order
logic programs
differential operators
constraint logic programming