scientific article; zbMATH DE number 7218671

DOI10.4204/EPTCS.292MaRDI QIDQ3296530zbMATH OpenFDO

Authors

Publication date 8 July 2020

Published in Electronic Proceedings in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1904.06159, http://eptcs.web.cse.unsw.edu.au/content.cgi?LinearityTLLA2018

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18)

Recommendations

• Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020
• Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
• Proceedings of the seventh international workshop on classical logic and computation, CL\&C 2018, Oxford, UK, July 7, 2018
• Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014
• scientific article; zbMATH DE number 7021568
• Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020
• Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science
• Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016
• 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
• Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016

Cited in

(9)

• Linear logic I. The Linear Logic 96 Tokyo Meeting, Mita Campus of Keio Univ., Tokyo, Japan, March 28 -- April 2, 1996
• Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014
• Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016
• Preface to special issue: LINEARITY 2014
• scientific article; zbMATH DE number 2120362 (Why is no real title available?)
• scientific article; zbMATH DE number 7080079 (Why is no real title available?)
• Proceedings 2nd International Workshop on Linearity
• Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020
• Proceedings of the seventh international workshop on classical logic and computation, CL\&C 2018, Oxford, UK, July 7, 2018

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3296530)