Michael Mislove

Latest

• Semantics for Variational Quantum Programming
• Quantum CPOs
• Enriching a Linear/Non-Linear Lambda Calculus: A Programming Language for String Diagrams