Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1305.6238
Cited By
Extended Lambek calculi and first-order linear logic
27 May 2013
R. Moot
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Extended Lambek calculi and first-order linear logic"
2 / 2 papers shown
Title
Proof nets for the Lambek-Grishin calculus
M. Moortgat
R. Moot
41
15
0
29 Dec 2011
Displacement Calculus
G. Morrill
Oriol Valentín
87
115
0
23 Apr 2010
1
