-
Morphological filtering on graphs
International audience -
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....
