scientific article; zbMATH DE number 1231581

MaRDI QIDQ4222900zbMATH OpenFDO

Authors Vaughan R. Pratt

Publication date 20 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#pratt

zbMATH Keywords

dinaturality semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Chu spaces as a semantic bridge between linear logic and mathematics.
• scientific article; zbMATH DE number 860047
• Games and full completeness for multiplicative linear logic
• scientific article; zbMATH DE number 1500671

Cited in

(10)

• Chu spaces from the representational viewpoint
• Chu spaces as a semantic bridge between linear logic and mathematics.
• \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
• Linear Läuchli semantics
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract)
• Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
• scientific article; zbMATH DE number 860047 (Why is no real title available?)
• Infinitary affine proofs
• Softness of hypercoherences and MALL full completeness

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