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