-
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.... -
Optimisation par hybridation d'un CSP avec un algorithme génétique
International audience
