-
Böhm theorem and Böhm trees for the Lambda-mu-calculus
International audience -
An adequate logic for heterogeneous systems
International audience -
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
International audience
