Modern Perspectives in Type-Theoretical Semantics:
Saved in:
| Other Authors: | , |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2017
|
| Series: | Studies in Linguistics and Philosophy
98 |
| Subjects: | |
| Online Access: | ASH01 FWS01 FWS02 UBT01 UER01 UPA01 Volltext Inhaltsverzeichnis |
| Physical Description: | 1 Online-Ressource (VIII, 296 p. 49 illus) |
| ISBN: | 9783319504223 |
| ISSN: | 0924-4662 |
| DOI: | 10.1007/978-3-319-50422-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044206321 | ||
| 003 | DE-604 | ||
| 005 | 20170320 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170302s2017 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319504223 |c Online |9 978-3-319-50422-3 | ||
| 024 | 7 | |a 10.1007/978-3-319-50422-3 |2 doi | |
| 035 | |a (OCoLC)974998692 | ||
| 035 | |a (DE-599)BVBBV044206321 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29 |a DE-B1533 |a DE-863 |a DE-739 |a DE-862 |a DE-703 |a DE-188 | ||
| 082 | 0 | |a 401.43 |2 23 | |
| 245 | 1 | 0 | |a Modern Perspectives in Type-Theoretical Semantics |c edited by Stergios Chatzikyriakidis, Zhaohui Luo |
| 264 | 1 | |a Cham |b Springer International Publishing |c 2017 | |
| 300 | |a 1 Online-Ressource (VIII, 296 p. 49 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Studies in Linguistics and Philosophy |v volume 98 |x 0924-4662 | |
| 650 | 4 | |a Linguistics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Application software | |
| 650 | 4 | |a Computational linguistics | |
| 650 | 4 | |a Semantics | |
| 650 | 4 | |a Computational Linguistics | |
| 650 | 4 | |a Computer Appl. in Arts and Humanities | |
| 650 | 4 | |a Linguistik | |
| 700 | 1 | |a Chatzikyriakidis, Stergios |4 edt | |
| 700 | 1 | |a Luo, Zhaohui |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-50420-9 |
| 830 | 0 | |a Studies in Linguistics and Philosophy |v 98 |w (DE-604)BV040125788 |9 98 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-50422-3 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029612715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SLS | ||
| 940 | 1 | |q ZDB-2-SLS_2017 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029612715 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-50422-3 |l ASH01 |p ZDB-2-SLS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-50422-3 |l FWS01 |p ZDB-2-SLS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-50422-3 |l FWS02 |p ZDB-2-SLS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-50422-3 |l UBT01 |p ZDB-2-SLS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-50422-3 |l UER01 |p ZDB-2-SLS |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-50422-3 |l UPA01 |p ZDB-2-SLS |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 639309 |
|---|---|
| _version_ | 1824554585903071233 |
| adam_text | Titel: Modern Perspectives in Type-Theoretical Semantics
Autor: Chatzikyriakidis, Stergios
Jahr: 2017
Contents
Introduction: Modern Perspectives in Type Theoretical Semantics..... 1
Stergios Chatzikyriakidis and Zhaohui Luo
Part I Foundational Issues
Context-Passing and Underspecification in Dependent
Type Semantics.............................................. 11
Daisuke Bekki and Koji Mineshima
On the Interpretation of Common Nouns: Types
Versus Predicates............................................ 43
Stergios Chatzikyriakidis and Zhaohui Luo
Adapting Type Theory with Records for Natural
Language Semantics.......................................... 71
Robin Cooper
Generalized Quantifiers on Dependent Types: A System
for Anaphora................................................ 95
Justyna Grudziñska and Marek Zawadowski
Part II Types and Applications
Types, Meanings and Co-composition in Lexical Semantics.......... 135
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.................. 163
Bruno Mery and Christian Retore
vi Contents
Probabilistic Record Type Lattices for Incremental Reference
Processing.................................................. 189
Julian Hough and Matthew Purver
Intensions, Types and Finite-State Truthmaking................... 223
Tim Fernando
Part III Implementational Aspects
The Grail Theorem Proven Type Theory for Syntax
and Semantics............................................... 247
Richard Moot
Probability Distributions in Type Theory with Applications
in Natural Language Syntax................................... 279
Krasimir Angelov
|
| any_adam_object | 1 |
| author2 | Chatzikyriakidis, Stergios Luo, Zhaohui |
| author2_role | edt edt |
| author2_variant | s c sc z l zl |
| author_facet | Chatzikyriakidis, Stergios Luo, Zhaohui |
| building | Verbundindex |
| bvnumber | BV044206321 |
| collection | ZDB-2-SLS |
| ctrlnum | (OCoLC)974998692 (DE-599)BVBBV044206321 |
| dewey-full | 401.43 |
| dewey-hundreds | 400 - Language |
| dewey-ones | 401 - Philosophy and theory |
| dewey-raw | 401.43 |
| dewey-search | 401.43 |
| dewey-sort | 3401.43 |
| dewey-tens | 400 - Language |
| discipline | Sprachwissenschaft |
| doi_str_mv | 10.1007/978-3-319-50422-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02417nmm a2200541zcb4500</leader><controlfield tag="001">BV044206321</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170320 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170302s2017 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319504223</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-50422-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-50422-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)974998692</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044206321</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-B1533</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">401.43</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modern Perspectives in Type-Theoretical Semantics</subfield><subfield code="c">edited by Stergios Chatzikyriakidis, Zhaohui Luo</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VIII, 296 p. 49 illus)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Studies in Linguistics and Philosophy</subfield><subfield code="v">volume 98</subfield><subfield code="x">0924-4662</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application software</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Linguistics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Appl. in Arts and Humanities</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Linguistik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chatzikyriakidis, Stergios</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Luo, Zhaohui</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-319-50420-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Studies in Linguistics and Philosophy</subfield><subfield code="v">98</subfield><subfield code="w">(DE-604)BV040125788</subfield><subfield code="9">98</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029612715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SLS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SLS_2017</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029612715</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="l">ASH01</subfield><subfield code="p">ZDB-2-SLS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SLS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SLS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SLS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SLS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-50422-3</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SLS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV044206321 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:54:07Z |
| institution | BVB |
| isbn | 9783319504223 |
| issn | 0924-4662 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029612715 |
| oclc_num | 974998692 |
| open_access_boolean | |
| owner | DE-29 DE-B1533 DE-863 DE-BY-FWS DE-739 DE-862 DE-BY-FWS DE-703 DE-188 |
| owner_facet | DE-29 DE-B1533 DE-863 DE-BY-FWS DE-739 DE-862 DE-BY-FWS DE-703 DE-188 |
| physical | 1 Online-Ressource (VIII, 296 p. 49 illus) |
| psigel | ZDB-2-SLS ZDB-2-SLS_2017 |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer International Publishing |
| record_format | marc |
| series | Studies in Linguistics and Philosophy |
| series2 | Studies in Linguistics and Philosophy |
| spellingShingle | Modern Perspectives in Type-Theoretical Semantics Studies in Linguistics and Philosophy Linguistics Logic Application software Computational linguistics Semantics Computational Linguistics Computer Appl. in Arts and Humanities Linguistik |
| title | Modern Perspectives in Type-Theoretical Semantics |
| title_auth | Modern Perspectives in Type-Theoretical Semantics |
| title_exact_search | Modern Perspectives in Type-Theoretical Semantics |
| title_full | Modern Perspectives in Type-Theoretical Semantics edited by Stergios Chatzikyriakidis, Zhaohui Luo |
| title_fullStr | Modern Perspectives in Type-Theoretical Semantics edited by Stergios Chatzikyriakidis, Zhaohui Luo |
| title_full_unstemmed | Modern Perspectives in Type-Theoretical Semantics edited by Stergios Chatzikyriakidis, Zhaohui Luo |
| title_short | Modern Perspectives in Type-Theoretical Semantics |
| title_sort | modern perspectives in type theoretical semantics |
| topic | Linguistics Logic Application software Computational linguistics Semantics Computational Linguistics Computer Appl. in Arts and Humanities Linguistik |
| topic_facet | Linguistics Logic Application software Computational linguistics Semantics Computational Linguistics Computer Appl. in Arts and Humanities Linguistik |
| url | https://doi.org/10.1007/978-3-319-50422-3 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029612715&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV040125788 |
| work_keys_str_mv | AT chatzikyriakidisstergios modernperspectivesintypetheoreticalsemantics AT luozhaohui modernperspectivesintypetheoreticalsemantics |