most citedIntensional Models for the Theory of Types

1 citations · 1 across the 2 of their papers we have counts for

collaborators

2 papers

cs.CL2018

Static and Dynamic Vector Semantics for Lambda Calculus Models of Natural Language

Mehrnoosh Sadrzadeh, Reinhard Muskens

Vector models of language are based on the contextual aspects of language, the distributions of words and how they co-occur in text. Truth conditional models focus on the logical a…

math.LO2006★ 1 cited

Intensional Models for the Theory of Types

Reinhard Muskens

In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models…