Lilac
From MaRDI portal
Cited in
(18)- scientific article; zbMATH DE number 2079015 (Why is no real title available?)
- A general adequacy result for a linear functional language
- scientific article; zbMATH DE number 1330135 (Why is no real title available?)
- 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 T revisited
- Lincx
- Reference counting as a computational interpretation of linear logic
- Preface to the special volume
- scientific article; zbMATH DE number 2079016 (Why is no real title available?)
- scientific article; zbMATH DE number 512773 (Why is no real title available?)
- Lilac: a functional programming language based on linear logic
- FreeST
- Linearity and iterator types for Gödel's system \(\mathcal T\)
- Subtyping for session types in the pi calculus
This page was built for software: Lilac
