A System F accounting for scalars

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

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

Equivalence of algebraic λ-calculi

Slides QuAND 2011

Simply typed lambda-calculus modulo isomorphisms

Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits

slides.pdf

Quantum computing, non-determinism, probabilistic systems... and the logic behind