Logiciel Année : 2025

Proof nets for MLL

Résumé

MLL Proof nets for Yalla

Mots clés

HAL

Cite hal-05015660 Logiciel Olivier Laurent. YALLA: Yet Another deep embedding of Linear Logic in Rocq. 2025, ⟨swh:1:dir:2e43a1ba10c4f11ed8d8f4cc22f4106a48f1d007⟩. ⟨hal-05015660⟩

Dates et versions

hal-05015800 , version 1 (19-04-2025)

Identifiants

Citer

Rémi Di Guardia, Olivier Laurent. Proof nets for MLL. 2025, ⟨swh:1:dir:a5e052a812cc72ef6b32f0cbb455ce2d8b315f71⟩. ⟨hal-05015800⟩
269 Consultations
0 Téléchargements

Partager

  • More