Preface to the special issue on linearity

DOI10.1007/S10817-019-09529-9MaRDI QIDQ2331067zbMATH OpenOpenAlexFDO

Authors

Publication date 25 October 2019

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10817-019-09529-9

Mathematics Subject Classification ID

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)