[logic-ml] quantum lambda calculus