Proof nets for MLL
Résumé
MLL Proof nets for Yalla
Domaines
![]()
Cite hal-05015660 Logiciel Olivier Laurent. YALLA: Yet Another deep embedding of Linear Logic in Rocq. 2025, ⟨swh:1:dir:2e43a1ba10c4f11ed8d8f4cc22f4106a48f1d007⟩. ⟨hal-05015660⟩
MLL Proof nets for Yalla
![]()
Cite hal-05015660 Logiciel Olivier Laurent. YALLA: Yet Another deep embedding of Linear Logic in Rocq. 2025, ⟨swh:1:dir:2e43a1ba10c4f11ed8d8f4cc22f4106a48f1d007⟩. ⟨hal-05015660⟩
Connectez-vous pour contacter le contributeur
https://hal.science/hal-05015800
Soumis le : samedi 19 avril 2025-10:18:46
Dernière modification le : mardi 5 mai 2026-15:53:17