Author:Christian Retoré

Publications
Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. Davide Catta, Richard Moot and Christian Retoré EasyChair Preprint 209
Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus. Davide Catta, Richard Moot and Christian Retoré EasyChair Preprint 209