Login / Signup

A Linear Proof Language for Second-Order Intuitionistic Linear Logic.

Alejandro Díaz-CaroGilles DowekMalena IvniskyOctavio Malherbe
Published in: WoLLIC (2024)
Keyphrases