scientific article; zbMATH DE number 1231574

zbMath0911.68122MaRDI QIDQ4222893

Mitsuhiro Okada, Max I. Kanovich, Andrej Scedrov

Publication date: 20 December 1998

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

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

zbMATH Keywords

light linear logic

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Classical propositional logic (03B05)

Related Items

Debits and Credits in Petri Nets and Linear Logic, Phase semantics for light linear logic, Linear logic and elementary time, Light linear logic, Stratified coherence spaces: A denotational semantics for light linear logic