Formal Semantics in Modern Type Theories. Stergios Chatzikyriakidis
of coercions for A ≤c B
3 Chapter 3Figure 3.1. The semantics of “run” by overloading using coercive subtyping
4 Chapter 7Figure 7.1. Subtyping between DETs parameterized by agents and patientsFigure 7.2. Rules for directed Lambek types B/A.Figure 7.3. Directed Πr-typesFigure 7.4. Rules for Σ∼-types
5 Appendix 4Figure A4.1. Introduction rules for LTYPE
List of Tables
1 Chapter 1Table 1.1. Examples in Montague semanticsTable 1.2. Semantics of “John talks”Table 1.3. Examples in MTT-semantics
2 Chapter 3Table 3.1. Examples in MTT-semanticsTable 3.2. A classification of adjectives
3 Chapter 6Table 6.1. Some important Coq proof tactics according to logical connectives
4 Chapter 7Table 7.1. Directional syntactic typesTable 7.2. Comparison of simple lexical entries in standard versions of categori...Table 7.3. Sample lexicon for a dependent CG in comparison with a standard CG
Guide
1 Cover
2 Table of Contents
5 Preface
8 Index
Pages
1 v
2 iii
3 iv
4 ix
5 x
6 xi
7 xii
8 xiii
9 1
10 2
11 3
12 4
13 5
14 6
15 7
16 8
17 9
18 10
19 11
20 12
21 13
22 14
23 15
24 16
25 17
26 18
27 19
28 20
29 21
30 22
31 23
32 24
33 25
34 26
35 27
36 28
37 29
38 30
39 31
40 32
41 33
42 34
43 35
44 36
45 37
46 38
47 39
48 40
49 41
50 42
51 43