Proof nets for the multimodal Lambek calculus

G.W.Q. Puite, Richard Moot

Research output: Book/ReportReportPopular

46 Downloads (Pure)
Original languageEnglish
Place of PublicationUtrecht
PublisherUtrecht University
Number of pages55
Publication statusPublished - 1999

Publication series

NameRijksuniversiteit Utrecht. Mathematisch Instituut : preprint
Volume1096

Cite this