Lambda calculi for semantic theories


ii. For every type τ, we have an infinite stock of variables of type τ. Variables are in WFF. iii. If α : 〈σ,τ〉 and β : σ, then (α β) : τ iv. If α : τ and χ is an variable of type σ, then (λχ α) : 〈σ,τ〉 Definition 3 (Denotation domains). Each semantic type has a corresponding denotation domain: i. The domain of type e is De, the set of entities. ii. The… (More)

Cite this paper

@inproceedings{Potts2016LambdaCF, title={Lambda calculi for semantic theories}, author={Chris N. Potts and Ling 230b and Stanford Potts}, year={2016} }