Lilac
From MaRDI portal
Software:20978
swMATH8983MaRDI QIDQ20978FDOQ20978
Author name not available (Why is that?)
Cited In (16)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A general adequacy result for a linear functional language
- Types and typechecking for Communicating Quantum Processes
- \( \pi\) with leftovers: a mechanisation in Agda
- Polymorphic lambda calculus with context-free session types
- A syntax for linear logic
- An internal language for autonomous categories
- Gödel's system \(\mathcal T\) revisited
- Reference counting as a computational interpretation of linear logic
- Preface to the special volume
- Title not available (Why is that?)
- Title not available (Why is that?)
- Lilac: a functional programming language based on linear logic
- Subtyping for session types in the pi calculus
- Linearity and iterator types for Gödel's system \(\mathcal T\)
This page was built for software: Lilac
