We have shown a model of complex verb translation based upon type theory, in which verb elements in the interlingua are regarded as generation functions whose.

We propose here a method in which each verb element is defined as a mathematical fun'ction ac- cording to its type of type theory. This formalism gives each ...

We propose here a method in which each verb element is defined as a mathematical function according to its type of type theory. This formalism gives each ...

Table of Contents. Abstract; 1 The problem of complex verb translation. 1.1 The difference between languages; 1.2 The difference in the structure.

[modal verbs] A modal verb (also 'modal','modal auxiliary verb', 'modal auxiliary') is a type of auxiliary verb that is used to indicate modality - that is, ...

This page uses Google maps to render the traffic of A Type-theoretical Analysis of Complex Verb Generation on Sciweavers.

A type-theoretical analysis of complex verb generation ... Tense and aspect, together with mood and modality, usually form the entangled structure of a complex ...

In this section I will present data from five languages on three types of complex verbs, i.e. prefixed verbs, phrasal verbs, and compound verbs. For each ...

This is a grouped bibliography of literature on complex verb constructions (serial verbs, coverbs, complex predicates, etc.). Please feel free to use it, ...

History of type theory · Homotopy type theory · Intuitionistic type theory