EasyChair Smart Slide
Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.
Do different syntactic trees yield different logical readings? Some remarks on head variables in typed lambda calculus.