scientific article; zbMATH DE number 7080079

DOI10.4204/EPTCS.22MaRDI QIDQ4968368zbMATH OpenFDO

Authors

Publication date 12 July 2019

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

Full work available at URL http://eptcs.web.cse.unsw.edu.au/content.cgi?LINEARITY2009

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Logic in computer science (03B70) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Functional programming and lambda calculus (68N18) Grammars and rewriting systems (68Q42) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016
• Proceedings 2nd International Workshop on Linearity
• Proceedings of the third international workshop on linearity, LINEARITY 2014, Vienna, Austria, July 13, 2014
• Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020
• scientific article; zbMATH DE number 537184
• Second conference of the international linear algebra society (Lisbon, 1992)
• Special issue on the 11th conference of the International Linear Algebra Society (ILAS), Coimbra, Portugal, July 19--22, 2004
• scientific article; zbMATH DE number 7218671
• Preface to special issue: LINEARITY 2014
• scientific article; zbMATH DE number 49845

Cited in

(7)

• Preface to the special issue on linearity
• scientific article; zbMATH DE number 3948162 (Why is no real title available?)
• scientific article; zbMATH DE number 47886 (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
• Preface: Linearity in computation
• Linearity: a roadmap

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 Q4968368)