-
Böhm theorem and Böhm trees for the Lambda-mu-calculus
International audience -
Environmental Bisimulations for Delimited-Control Operators
Long version of the corresponding APLAS13 paper -
Syntax and Models of a non-Associative Composition of Programs and Proofs
The thesis is a contribution to the understanding of the nature, role, and mechanisms of polarisation in programming languages, proof theory and categorical models....
