Preface to the special issue on linearity
From MaRDI portal
Publication:2331067
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Functional programming and lambda calculus (68N18) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Recommendations
- scientific article; zbMATH DE number 7080079
- Proceedings 2nd International Workshop on Linearity
- Preface: Linearity in computation
- Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020
- Preface to special issue: LINEARITY 2014
Cited in
(8)- Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996
- Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020
- Linearity: a roadmap
- Preface to special issue: LINEARITY 2014
- Preface
- scientific article; zbMATH DE number 1665331 (Why is no real title available?)
- Preface: Linearity in computation
- Linear lambda-calculus is linear
This page was built for publication: Preface to the special issue on linearity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2331067)