YALLA: Yet Another Deep Embedding of Linear Logic in Rocq

Journal of Automated Reasoning 2026 Open access

Read full text
Authors: Olivier Laurent
DOI: 10.1007/s10817-026-09755-y
Cited by: 0
References: 40

Fields of Study & Subjects

Logic Reasoning and Knowledge Advanced Algebra and Logic

Publication details

Journal / source
Journal of Automated Reasoning
Publisher
Springer Science and Business Media LLC
Volume
70
Issue
1
Publication date
21 May 2026
Language
EN