A System F accounting for scalars

Slides used during my thesis defense "Du typage vectoriel"

A type system for the vectorial aspects of the linear-algebraic lambda-calculus

Linearity in the non-deterministic call-by-value setting

The probability of non-confluent systems

Call-by-value non-determinism in a linear logic type discipline

Non determinism through type isomophism

Vectorial types, non-determinism and probabilistic systems: Towards a computational quantum logic

Simply typed lambda-calculus modulo isomorphisms

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits