A Type Driven Theory of Predication with Complex Types

https://doi.org/10.3233/FUN-2008-84202

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.

Keywords

complex types,lambda calculus,categorial interpretation,copredication,coercion,dot(•)types

Get full access to this article

View all access options for this article.