Resource Logics: Proof-Theoretical Investigations

Research output: PhD ThesisPhD thesis

104 Downloads (Pure)


The key topic of this thesis is the Lambek Calculus.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
  • University of Amsterdam
Place of PublicationAmsterdam
Publication statusPublished - 1991


  • Lambek Calculus
  • Linear Logic


Dive into the research topics of 'Resource Logics: Proof-Theoretical Investigations'. Together they form a unique fingerprint.

Cite this