Lilac
From MaRDI portal
Cited in
(18)- An internal language for autonomous categories
- A general adequacy result for a linear functional language
- Polymorphic lambda calculus with context-free session types
- \( \pi\) with leftovers: a mechanisation in Agda
- Subtyping for session types in the pi calculus
- Lincx
- scientific article; zbMATH DE number 1330135 (Why is no real title available?)
- scientific article; zbMATH DE number 512773 (Why is no real title available?)
- scientific article; zbMATH DE number 2079015 (Why is no real title available?)
- scientific article; zbMATH DE number 2079016 (Why is no real title available?)
- Lilac: a functional programming language based on linear logic
- Reference counting as a computational interpretation of linear logic
- Preface to the special volume
- Types and typechecking for Communicating Quantum Processes
- A syntax for linear logic
- FreeST
- Linearity and iterator types for Gödel's system \(\mathcal T\)
- Gödel's system T revisited
This page was built for software: Lilac
