Lilac

swMATH8983MaRDI QIDQ20978FDOQ20978

Author name not available (Why is that?)

Official website: http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=1322888

Cited In (18)

• 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
• Lincx
• Reference counting as a computational interpretation of linear logic
• Preface to the special volume
• FreeST
• 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