1 citations · 3 across the 12 of their papers we have counts for
1 paper · 1 filter
Jirka Maršík, Maxime Amblard
In compositional model-theoretic semantics, researchers assemble truth-conditions or other kinds of denotations using the lambda calculus. It was previously observed that the lambd…