2 |
Category theory, logic and formal linguistics: some connections, old and new ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Deverbal semantics and the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
4 |
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture) ...
|
|
|
|
BASE
|
|
Show details
|
|
5 |
Type-theoretical natural language semantics: on the system F for meaning assembly ...
|
|
|
|
BASE
|
|
Show details
|
|
6 |
Advances in the Logical Representation of Lexical Semantics ...
|
|
|
|
BASE
|
|
Show details
|
|
8 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by most ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|