Lincx
From MaRDI portal
Software:32090
No author found.
Related Items (2)
LINCX: A Linear Logical Framework with First-Class Contexts ⋮ \( \pi\) with leftovers: a mechanisation in Agda
This page was built for software: Lincx