3 papers
econ.TH2025
Divide and Confer: Aggregating Information without Verification
James Best, Daniel Quigley, Maryam Saeedi +1
We examine receiver-optimal mechanisms for aggregating information divided across many biased senders. Each sender privately observes an unconditionally independent signal about an…
math.LO2024
A vector logic for extensional formal semantics
Daniel Quigley
This paper proves a homomorphism between extensional formal semantics and distributional vector space semantics, demonstrating structural compatibility. Formal semantics models mea…
math.CT2024
Categorical Framework for Typed Extensional and Intensional Models in Formal Semantics
Daniel Quigley
Intensional computation derives concrete outputs from abstract function definitions; extensional computation defines functions through explicit input-output pairs. In formal semant…