狠狠撸

type theory algebraic lambda-calculus lambda calculus quantum computing non-deterministic lambda-calculus vectorial typing universit茅 de grenoble linear logic non-determinism logic probabilistic systems lebesgue measure kolmogorov axioms isomorphisms conference lambda-calculus call-by-value probabilistic computing computer science linearity affine computation automata theory density matrices programming languages hor2010 tpnc