Type theory with records for natural language semantics

&
In Shalom Lappin & Chris Fox (eds.), Handbook of Contemporary Semantic Theory. Wiley-Blackwell (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Type Theory with Records and Unification-based Grammar.Robin Cooper - unknown
Quotation via Dialogical Interaction.Jonathan Ginzburg & Robin Cooper - 2014 - Journal of Logic, Language and Information 23 (3):287-311.
Translating a Fragment of Natural Deduction System for Natural Language into Modern Type Theory.Ivo Pezlar - 2019 - In Rainer Osswald, Christian Retoré & Peter Sutton (eds.), Proceedings of the IWCS 2019 Workshop on Computing Semantics with Types, Frames and Related Structures. Association for Computational Linguistics. pp. 10-18.
Austinian truth, attitudes and type theory ∗.Robin Cooper - unknown
Probabilistic Type Theory and Natural Language Semantics.Robin Cooper, Simon Dobnik, Shalom Lappin & Stefan Larsson - 2015 - Linguistic Issues in Language Technology 10 (1):1--43.
An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
Foundations of intensional semantics.Chris Fox - 2005 - Malden MA: Blackwell. Edited by Shalom Lappin.
On Bishops and Donkeys.Nicky Kroll - 2008 - Natural Language Semantics 16 (4):359-372.
Type Polymorphism, Natural Language Semantics, and TIL.Ivo Pezlar - 2023 - Journal of Logic, Language and Information 32 (2):275-295.
Natural Language Inference in Coq.Stergios Chatzikyriakidis & Zhaohui Luo - 2014 - Journal of Logic, Language and Information 23 (4):441-480.
Doing Natural Language Semantics in an Expressive First-Order Logic with Flexible Typing.Shalom Lappin & C. Fox - unknown
Continuations and the Nature of Quantification.Chris Barker - 2002 - Natural Language Semantics 10 (3):211-242.
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
Irreducible higher order functions in natural language.Jan van Eijck - unknown
Property theory and the revision theory of definitions.Francesco Orilia - 2000 - Journal of Symbolic Logic 65 (1):212-246.

Analytics

Added to PP
2022-12-16

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Representing Types as Neural Events.Robin Cooper - 2019 - Journal of Logic, Language and Information 28 (2):131-155.

Add more citations

References found in this work

No references found.

Add more references