A Type Driven Theory of Predication with Complex Types

Authors:
Nicholas Asher
Affiliations:
(Correspd. IRIT, Univ. Paul Sabatier - 118 Route de Narbonne - 31062 Toulouse Cedex 9, France) CNRS, Laboratoire IRIT Université Paul Sabatier 118 Route de Narbonne, 31062 Toulouse, France. E ...
Venue:
Fundamenta Informaticae - Logic for Pragmatics
Year:
2008

Citing 5
Cited 7

Introduction to higher order categorical logic

Introduction to higher order categorical logic
Category theory for computing science

Category theory for computing science
Categories, types, and structures: an introduction to category theory for the working computer scientist

Categories, types, and structures: an introduction to category theory for the working computer scientist
A Syntactical Analysis of Non-Size-Increasing Polynomial Time Computation

LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Grammatical Framework

Journal of Functional Programming

Towards a Type-Theoretical Account of Lexical Semantics

Journal of Logic, Language and Information
Modeling Contexts with Dependent Types

Fundamenta Informaticae
Contextual analysis of word meanings in type-theoretical semantics

LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Dot-types and their implementation

LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics
Formal foundations for situation awareness based on dependent type theory

Information Fusion
Coercive subtyping: Theory and implementation

Information and Computation
A type-theoretical approach for ontologies: The case of roles

Applied Ontology

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper investigates several models of the complex type • which is needed to analyze copredication. Previous accounts are shown to be inadequate and a new account both of • and copredication is proposed.