Publication:4222893
From MaRDI portal
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
Related Items
Light linear logic, Phase semantics for light linear logic, Linear logic and elementary time, Stratified coherence spaces: A denotational semantics for light linear logic, Debits and Credits in Petri Nets and Linear Logic