DMCA
Proof nets for the Lambek-calculus -- an overview (1998)
by
François Lamarche
,
Christian Retoré
| Citations: | 17 - 2 self |
BibTeX
@MISC{Lamarche98proofnets,
author = {François Lamarche and Christian Retoré},
title = {Proof nets for the Lambek-calculus -- an overview},
year = {1998}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
