A Type Driven Theory of Predication with Complex Types - Archive ouverte HAL
Article Dans Une Revue Fundamenta Informaticae Année : 2008

A Type Driven Theory of Predication with Complex Types

Résumé

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.
Fichier non déposé

Dates et versions

hal-03690415 , version 1 (08-06-2022)

Identifiants

  • HAL Id : hal-03690415 , version 1

Citer

Nicholas Asher. A Type Driven Theory of Predication with Complex Types. Fundamenta Informaticae, 2008, Logic for Pragmatics, 84 (2), pp.151-183. ⟨hal-03690415⟩
37 Consultations
0 Téléchargements

Partager

More