scientific article; zbMATH DE number 1231698

MaRDI QIDQ4223029zbMATH OpenFDO

Authors Didier Galmiche, Bruno Martin

Publication date 10 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=17#17005

zbMATH Keywords

proof nets

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1324433
• Proof Nets for Lambek Calculus
• scientific article; zbMATH DE number 1678379
• Connection methods in linear logic and proof nets construction

Cited in

(14)

• Connection methods in linear logic and proof nets construction
• Proof-search in type-theoretic languages: An introduction
• Non-commutative proof construction: a constraint-based approach
• Proof-search and proof nets in mixed linear logic
• scientific article; zbMATH DE number 1678379 (Why is no real title available?)
• Proof Nets for Lambek Calculus
• scientific article; zbMATH DE number 1231699 (Why is no real title available?)
• scientific article; zbMATH DE number 1324433 (Why is no real title available?)
• A new correctness criterion for the proof nets of non-commutative multiplicative linear logics
• scientific article; zbMATH DE number 1950271 (Why is no real title available?)
• An introduction to differential linear logic: proof-nets, models and antiderivatives
• scientific article; zbMATH DE number 786497 (Why is no real title available?)
• scientific article; zbMATH DE number 7441265 (Why is no real title available?)
• Computer Science Logic

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