Rich Type Theories
otherentity
ID: richtypetheories
Related Papers
Probabilistic Type Theory and Natural Language Semantics
AbstractType theory has played an important role in specifying the formal connection between syntactic structure and semantic interpretation within the history of formal semantics. In recent years rich type theories …...