scientific article; zbMATH DE number 517042

zbMath0794.03044MaRDI QIDQ4282570

Peter W. O'Hearn

Publication date: 28 August 1994

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

zbMATH Keywords

intuitionistic linear logiccontrol of interferenceinterference of imperative programming languages

Mathematics Subject Classification ID

Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

A syntax for linear logic ⋮ Semantics of weakening and contraction

This page was built for publication: