Login / Signup
Arno Bastenhof
Publication Activity (10 Years)
Years Active: 2009-2014
Publications (10 Years): 0
Top Topics
Type Checking
Information Retrieval
Similarity Metrics
Top Venues
Categories and Types in Logic, Language, and Physics
</>
Publications
</>
Arno Bastenhof
Type Similarity for the Lambek-Grishin Calculus Revisited.
Categories and Types in Logic, Language, and Physics
(2014)
Arno Bastenhof
Polarities in Logic and Semantics.
Amsterdam Colloquium on Logic, Language and Meaning
(2011)
Arno Bastenhof
Focalization and phase models for classical extensions of non-associative Lambek calculus
CoRR
(2011)
Arno Bastenhof
Polarized Montagovian Semantics for the Lambek-Grishin calculus
CoRR
(2011)
Arno Bastenhof
Polarized Classical Non-associative Lambek Calculus and Formal Semantics.
LACL
(2011)
Arno Bastenhof
Polarized Montagovian Semantics for the Lambek-Grishin Calculus.
FG
(2010)
Arno Bastenhof
Tableaux for the Lambek-Grishin calculus
CoRR
(2010)
Arno Bastenhof
Extraction in the Lambek-Grishin Calculus.
ESSLLI Student Sessions
(2009)