Abstract
The key topic of this thesis is the Lambek Calculus.
| Original language | English |
|---|---|
| Qualification | Doctor of Philosophy |
| Awarding Institution |
|
| Place of Publication | Amsterdam |
| Publication status | Published - 1991 |
Keywords
- Lambek Calculus
- Linear Logic
Fingerprint
Dive into the research topics of 'Resource Logics: Proof-Theoretical Investigations'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver