Formal Semantics in Modern Type Theories. Stergios Chatzikyriakidis

Чтение книги онлайн.

      1 PrefaceFigure P.1. Dependency diagram for reading

      2 Chapter 2Figure 2.1. Pictorial illustration of the universe CNFigure 2.2. Pictorial illustration 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

      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

      1  Cover

      2 Table of Contents

      3  Title page

      4  Copyright

      5  Preface

      6  Begin Reading

      7  References

      8  Index

      9  End User License Agreement

      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  СКАЧАТЬ