scientific article; zbMATH DE number 2120362

MaRDI QIDQ4829655zbMATHFDO

Authors

Publication date 30 November 2004

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 785051
• scientific article; zbMATH DE number 771635
• scientific article; zbMATH DE number 1104361
• Linear logic as a logic of computations
• scientific article; zbMATH DE number 700793
• Linear logic in computer science
• Applications of Linear Logic to Computation: An Overview
• scientific article
• 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 4172924

Cited in

(1)

• Extensions of Lambek calculi

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