Applicative and Combinatory Categorial Grammar (from syntax to functional semantics)

Applicative and Combinatory Categorial Grammar is an extension of Steedman's Combinatory Categorial Grammar by a canonical association between rules and Curry's combinators on the one hand and meta-rules which control type-raising operations on the other hand. This model is included in the general framework of Applicative and Cognitive Grammar (Descles) with three levels of representation: (i) phenotype (concatened expressions); (ii) genotype (applicative expressions); (iii) the cognitive representations (meaning of linguistic predicates). The aim of the paper is: (i) an automatic parsing of phenotype expressions that are underlying to sentences; (ii) the constructing of applicative expressions. The theoretical analysis is applied to spurious ambiguity and coordination.