| 501 |
"I tell you what we could do, we could say, cut it to a hundred and ninety-five, and offer you a significant discount on breakfast" : expressing commitment in business discourse ; an empirical analysis of offers in Irish English negotiations
|
|
|
|
BLLDB
|
|
UB Frankfurt Linguistik
|
|
Show details
|
|
|
| 504 |
Noname manuscript No. (will be inserted by the editor) Towards a Type-Theoretical Account of Lexical Semantics
|
|
|
|
In: http://hal.inria.fr/docs/00/40/83/08/PDF/bassac-mery-retore-revised.pdf
|
|
BASE
|
|
Show details
|
|
|
| 505 |
2009, ‘Varieties of Conventional Implicature: Evidence from Japanese
|
|
|
|
In: http://semanticsarchive.net/Archive/DdmMWQyM/adverbs.pdf
|
|
BASE
|
|
Show details
|
|
|
| 506 |
A Refinement of de Bruijn’s Formal Language of Mathematics
|
|
|
|
In: http://www.cedar-forest.org/forest/papers/journals-publications/kjour.pdf
|
|
BASE
|
|
Show details
|
|
|
| 507 |
Typed memory management via static capabilities
|
|
|
|
In: http://www.cs.cmu.edu/~crary/papers/2000/regions/capabilities.pdf
|
|
BASE
|
|
Show details
|
|
|
| 508 |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
|
|
|
|
In: http://www.loria.fr/~pogodall/publications/degroote-pogodalla-pollard.pdf
|
|
BASE
|
|
Show details
|
|
|
| 509 |
A Comprehensive Theory of Trichotomous Evaluative Linguistic Expressions∗
|
|
In: http://irafm.osu.cz/research_report/71_rep71.pdf
|
|
BASE
|
|
Show details
|
|
|
| 510 |
Predicting Attachment of the Light Verb –suru to Japanese Two-kanji Compound Words Using Four Aspects 1
|
|
|
|
In: http://home.hiroshima-u.ac.jp/~hsakai/Tamaoka et al._GLOT_2005.pdf
|
|
BASE
|
|
Show details
|
|
|
| 511 |
Hiroshima University,Japan
|
|
|
|
In: http://www.tufs.ac.jp/common/pg/gengo_yousei/data/pdf/Tamaoka, Matsuoka, Sakai %26 Makioka2005.pdf
|
|
BASE
|
|
Show details
|
|
|
| 512 |
On Applying the .-Style of Unification for Simply-Typed Higher Order Unification in the Pure lambda-Calculus
|
|
|
|
In: http://www.cee.hw.ac.uk/~fairouz/papers/conference-publications/wollic01.ps
|
|
BASE
|
|
Show details
|
|
|
| 513 |
A new implementation of Automath
|
|
|
|
In: http://www.cs.kun.nl/~freek/aut/aut.pdf
|
|
BASE
|
|
Show details
|
|
|
| 514 |
A new implementation of Automath
|
|
|
|
In: http://www.cs.kun.nl/~freek/pubs/./aut/aut.ps.gz
|
|
BASE
|
|
Show details
|
|
|
| 515 |
Monadic Refinement Types for Verifying JavaScript Programs
|
|
|
|
In: http://research.microsoft.com/users/livshits/papers/tr/refinement_js.pdf
|
|
BASE
|
|
Show details
|
|
|
| 516 |
A Type System Theory for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY
|
|
|
|
In: http://arxiv.org/pdf/0906.3919v1.pdf (906)
|
|
BASE
|
|
Show details
|
|
|
| 517 |
A Static Type Inference for Python
|
|
|
|
In: http://www.dcc.fc.up.pt/%7Enam/publica/artigoDYLA.pdf
|
|
BASE
|
|
Show details
|
|
|
|
|
