research
∙
08/31/2023
Quantum Suplattices
Building on the theory of quantum posets, we introduce a non-commutative...
share
research
∙
09/06/2021
Quantum CPOs
We introduce the monoidal closed category qCPO of quantum cpos, whose ob...
research
∙
07/28/2021
Semantics for Variational Quantum Programming
We consider a programming language that can manipulate both classical an...
research
∙
01/31/2021
Commutative Monads for Probabilistic Programming Languages
A long-standing open problem in the semantics of programming languages s...
research
∙
06/22/2019
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
We describe a type system with mixed linear and non-linear recursive typ...
research
∙
06/22/2019
Mixed Linear and Non-linear Recursive Types
We describe a type system with mixed linear and non-linear recursive typ...
research
∙
04/25/2018
