| Original language | English |
|---|---|
| Place of Publication | Utrecht |
| Publisher | Utrecht University |
| Number of pages | 55 |
| Publication status | Published - 1999 |
Publication series
| Name | Rijksuniversiteit Utrecht. Mathematisch Instituut : preprint |
|---|---|
| Volume | 1096 |
Proof nets for the multimodal Lambek calculus
G.W.Q. Puite, Richard Moot
Research output: Book/Report › Report › Popular
76
Downloads
(Pure)