Lilac
From MaRDI portal
Software:20978
No author found.
Related Items
A syntax for linear logic ⋮ A general adequacy result for a linear functional language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Linearity and iterator types for Gödel's system \(\mathcal T\) ⋮ Reference counting as a computational interpretation of linear logic ⋮ Gödel's system \(\mathcal T\) revisited ⋮ Preface to the special volume ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Types and typechecking for Communicating Quantum Processes ⋮ Subtyping for session types in the pi calculus ⋮ Polymorphic lambda calculus with context-free session types ⋮ Lilac: a functional programming language based on linear logic ⋮ An internal language for autonomous categories ⋮ \( \pi\) with leftovers: a mechanisation in Agda
This page was built for software: Lilac