Coq
otherentity
ID: coq
Related Papers
A type-theoretical reduction of morphological, syntactic and semantic compositionality to a single level of description
AbstractThe paper presents NLC, a new formalism for modeling natural language (NL) compositionality. NLC is a functional type system (i.e. one based on mathematical functions and their types). Its main …...