- Typing quantum superpositions... 2 years ago 154 views
- A lambda calculus for density... 2 years ago 136 views
- Towards a quantum lambda-calc... 3 years ago 251 views
- Affine computation and affine... 3 years ago 187 views
- Simply typed lambda-calculus ... 6 years ago 4,676 views
- The probability of non-conflu... 6 years ago 337 views
- Vectorial types, non-determin... 6 years ago 1,638 views
- Quantum computing, non-determ... 7 years ago 2,493 views
- Non determinism through type ... 7 years ago 414 views
- Call-by-value non-determinism... 7 years ago 329 views
- Slides used during my thesis ... 7 years ago 338 views
- Linearity in the non-determin... 7 years ago 892 views
- A type system for the vectori... 7 years ago 330 views
- Slides QuAND 2011 7 years ago 316 views
- Equivalence of algebraic λ-ca... 9 years ago 542 views
- A System F accounting for sca... 10 years ago 591 views
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our User Agreement and Privacy Policy.
Slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. If you continue browsing the site, you agree to the use of cookies on this website. See our Privacy Policy and User Agreement for details.