scientific article; zbMATH DE number 1231467

zbMath0910.68126MaRDI QIDQ4222770

François Lamarche

Publication date: 10 December 1998

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

coherence spaceshypercoherences

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items

On phase semantics and denotational semantics in multiplicative-additive linear logic, On phase semantics and denotational semantics: The exponentials, Softness of hypercoherences and MALL full completeness, Poset-valued sets or how to build models for linear logics