Resource Logics: Proof-Theoretical Investigations

Research output: PhD ThesisPhD thesis

48 Downloads (Pure)

Abstract

The key topic of this thesis is the Lambek Calculus.
Original languageEnglish
QualificationDoctor of Philosophy
Awarding Institution
Place of PublicationAmsterdam
Publication statusPublished - 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