Luca Spada

• Logic, Language, and Computation