A Type Driven Theory of Predication with Complex Types

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

Citing 4
Cited 0

Introduction to higher order categorical logic

Introduction to higher order categorical logic
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

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.