alejandro-diaz-caro documents channel
Avatar
All Documents
Quantum computing, non-determinism, probabilistic systems... and the logic behind

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

Category: Education
Released: April 16, 2017
slides.pdf

slides.pdf

Category: Documents
Released: July 18, 2016
Simply typed lambda-calculus modulo isomorphisms

Simply typed lambda-calculus modulo isomorphisms

Category: Education
Released: May 11, 2015
Slides QuAND 2011

Slides QuAND 2011

Category: Technology
Released: December 18, 2014
Equivalence of algebraic λ-calculi

Equivalence of algebraic λ-calculi

Category: Documents
Released: December 17, 2014
Linearity in the non-deterministic call-by-value setting

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

Category: Technology
Released: December 18, 2014
A type system for the vectorial aspects of the linear-algebraic lambda-calculus

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

Category: Technology
Released: December 18, 2014
Slides used during my thesis defense "Du typage vectoriel"

Slides used during my thesis defense "Du typage vectoriel"

Category: Technology
Released: December 18, 2014
Vectorial types, non-determinism and probabilistic systems: Towards a computational quantum logic

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

Category: Documents
Released: December 18, 2014
Non determinism through type isomophism

Non determinism through type isomophism

Category: Documents
Released: December 18, 2014
Call-by-value non-determinism in a linear logic type discipline

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

Category: Documents
Released: December 17, 2014
The probability of non-confluent systems

The probability of non-confluent systems

Category: Education
Released: December 18, 2014