scientific article
From MaRDI portal
Publication:2757812
zbMath0978.03517MaRDI QIDQ2757812
Publication date: 4 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Combinatory logic and lambda calculus (03B40)
Related Items
This page was built for publication: