An application of proof-nets to the study of fragments of the Lambek calculus

Yury Savateev

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'An application of proof-nets to the study of fragments of the Lambek calculus'. Together they form a unique fingerprint.

Keyphrases

Computer Science