scientific article; zbMATH DE number 1342284
From MaRDI portal
Publication:4263875
zbMath0931.03025MaRDI QIDQ4263875
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
contractionlogic of bunched implicationssyntactic control of interferenceweakening\(\alpha\lambda\)-calculusadditive function typecalculus of proof termsdoubly closed categoriesmultiplicative function typeresource interpretations
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)
Related Items (2)
An algebraic glimpse at bunched implications and separation logic ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\)
This page was built for publication: