The following pages link to Lilac (Q20978):
Displaying 16 items.
- Preface to the special volume (Q534064) (← links)
- Linearity and iterator types for Gödel's system \(\mathcal T\) (Q656851) (← links)
- Gödel's system \(\mathcal T\) revisited (Q960861) (← links)
- An internal language for autonomous categories (Q1320337) (← links)
- A general adequacy result for a linear functional language (Q1391860) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- \( \pi\) with leftovers: a mechanisation in Agda (Q2117018) (← links)
- Subtyping for session types in the pi calculus (Q2576666) (← links)
- (Q4260706) (← links)
- (Q4281466) (← links)
- (Q4474827) (← links)
- (Q4474828) (← links)
- Lilac: a functional programming language based on linear logic (Q4764609) (← links)
- Reference counting as a computational interpretation of linear logic (Q4895551) (← links)
- Types and typechecking for Communicating Quantum Processes (Q5482266) (← links)
- A syntax for linear logic (Q5890063) (← links)
