Coverart for item
The Resource Modern Perspectives in Type-Theoretical Semantics, edited by Stergios Chatzikyriakidis, Zhaohui Luo, (electronic resource)

Modern Perspectives in Type-Theoretical Semantics, edited by Stergios Chatzikyriakidis, Zhaohui Luo, (electronic resource)

Label
Modern Perspectives in Type-Theoretical Semantics
Title
Modern Perspectives in Type-Theoretical Semantics
Statement of responsibility
edited by Stergios Chatzikyriakidis, Zhaohui Luo
Contributor
Editor
Subject
Language
eng
Summary
This book is a collective volume that reports the state of the art in the applications of type theory to linguistic semantics. The volume fills a 20 year gap from the last published book on the issue and aspires to bring researchers closer to cutting edge alternatives in formal semantics research. It consists of unpublished work by some key researchers on various issues related to the type theoretical study of formal semantics and further exemplifies the advantages of using modern type theoretical approaches to linguistic semantics. Themes that are covered include modern developments of type theories in formal semantics, foundational issues in linguistic semantics like anaphora, modality and plurals, innovational interdisciplinary research like the introduction of probability theory to type theories as well as computational implementations of type theoretical approaches. This volume will be of great interest to formal semanticists that are looking for alternative ways to study linguistic semantics, but will also be of interest to theoretical computer scientists and mathematicians that are interested in the applications of type theory.--
Member of
Assigning source
Provided by publisher
Image bit depth
0
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Chatzikyriakidis, Stergios
  • Luo, Zhaohui
Series statement
  • Springer eBooks
  • Studies in Linguistics and Philosophy,
Series volume
98
http://library.link/vocab/subjectName
  • Linguistics
  • Logic
  • Application software
  • Computational linguistics
  • Semantics
Label
Modern Perspectives in Type-Theoretical Semantics, edited by Stergios Chatzikyriakidis, Zhaohui Luo, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-50422-3
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction by Stergios Chatzikyriakidis and Zhaohui Luo -- Part I. Foundational Issues -- Context-Passing and Underspecification in Dependent Type Semantics by Daisuke Bekki and Koji Mineshima -- On the Interpretation of Common Nouns: Types v.s. Predicates by Stergios Chatzikyriakidis and Zhaohui Luo -- Adapting Type Theory with Records for Natural Language Semantics by Robin Cooper -- Generalized Quantifiers on Dependent Types: A System for Anaphora Language Semantics by Justyna Grudzińska and Marek Zawadowski -- Part II. Types and Applications -- Types, Meanings and Co-composition in Lexical Semantics by Nicholas Asher, Marta Abrusan and Tim van de Cruys -- Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics by Bruno Mery and Christian Retoré -- Probabilistic Record Type Lattices for Incremental Reference Processing by Julian Hough and Matthew Purver -- Intensions, Types and Finite-state Truthmaking by Tim Fernando -- Part III. Implementational Aspects -- The Grail Theorem Prover: Type theory for Syntax and Semantics by Richard Moot -- Probability Distributions in Type Theory with Applications in Natural Language Syntax by Krasimir Angelov
Control code
978-3-319-50422-3
Dimensions
unknown
Extent
1 online resource (VIII, 296 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783319504223
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-50422-3
Other physical details
49 illustrations
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)976250278
Label
Modern Perspectives in Type-Theoretical Semantics, edited by Stergios Chatzikyriakidis, Zhaohui Luo, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=http://dx.doi.org/10.1007/978-3-319-50422-3
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
Introduction by Stergios Chatzikyriakidis and Zhaohui Luo -- Part I. Foundational Issues -- Context-Passing and Underspecification in Dependent Type Semantics by Daisuke Bekki and Koji Mineshima -- On the Interpretation of Common Nouns: Types v.s. Predicates by Stergios Chatzikyriakidis and Zhaohui Luo -- Adapting Type Theory with Records for Natural Language Semantics by Robin Cooper -- Generalized Quantifiers on Dependent Types: A System for Anaphora Language Semantics by Justyna Grudzińska and Marek Zawadowski -- Part II. Types and Applications -- Types, Meanings and Co-composition in Lexical Semantics by Nicholas Asher, Marta Abrusan and Tim van de Cruys -- Classifiers, Sorts, and Base Types in the Montagovian Generative Lexicon and Related Type Theoretical Frameworks for Lexical Compositional Semantics by Bruno Mery and Christian Retoré -- Probabilistic Record Type Lattices for Incremental Reference Processing by Julian Hough and Matthew Purver -- Intensions, Types and Finite-state Truthmaking by Tim Fernando -- Part III. Implementational Aspects -- The Grail Theorem Prover: Type theory for Syntax and Semantics by Richard Moot -- Probability Distributions in Type Theory with Applications in Natural Language Syntax by Krasimir Angelov
Control code
978-3-319-50422-3
Dimensions
unknown
Extent
1 online resource (VIII, 296 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9783319504223
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other control number
10.1007/978-3-319-50422-3
Other physical details
49 illustrations
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)976250278

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055
Processing Feedback ...