EasyChair Smart SlideDocs/Log in
Author: Davide Catta

This page shows all presentations of this author published in 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.

Davide Catta, Richard Moot and Christian Retoré

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair