1 |
A Generative Montagovian Lexicon for Polysemous Deverbal Nouns
|
|
|
|
In: 4th world congress on Universal Logic UNILOG ; 4th world congress on Universal Logic -- workshop on Logic and linguistics ; https://hal.archives-ouvertes.fr/hal-00760380 ; 4th world congress on Universal Logic -- workshop on Logic and linguistics, Apr 2013, Rio de Janeiro, Brazil. http://www.uni-log.org/ (2013)
|
|
BASE
|
|
Show details
|
|
2 |
A type theoretical framework for natural language semantics: the Montagovian generative lexicon
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779214 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
3 |
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
|
|
|
|
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013)
|
|
BASE
|
|
Show details
|
|
4 |
The Montagovian Generative Lexicon ΛT yn: a Type Theoretical Framework for Natural Language Semantics
|
|
|
|
In: TYPES: International Workshop on Types and Proofs for Programs ; https://hal.archives-ouvertes.fr/hal-01145821 ; TYPES: International Workshop on Types and Proofs for Programs, Apr 2013, Toulouse, France. pp.202-229 (2013)
|
|
BASE
|
|
Show details
|
|
5 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
6 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013)
|
|
BASE
|
|
Show details
|
|
|
|