- Typing quantum superpositions... 9 months ago 54 views
- A lambda calculus for density... 9 months ago 61 views
- Towards a quantum lambda-calc... 2 years ago 146 views
- Affine computation and affine... 2 years ago 144 views
- Simply typed lambda-calculus ... 4 years ago 4,529 views
- The probability of non-conflu... 5 years ago 293 views
- Vectorial types, non-determin... 5 years ago 1,551 views
- Quantum computing, non-determ... 5 years ago 2,334 views
- Non determinism through type ... 5 years ago 392 views
- Call-by-value non-determinism... 5 years ago 297 views
- Slides used during my thesis ... 6 years ago 303 views
- Linearity in the non-determin... 6 years ago 837 views
- A type system for the vectori... 6 years ago 302 views
- Slides QuAND 2011 6 years ago 289 views
- Equivalence of algebraic λ-ca... 8 years ago 472 views
- A System F accounting for sca... 8 years ago 543 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.