Building on the theory of quantum posets, we introduce a non-commutative...
We introduce the monoidal closed category qCPO of quantum cpos, whose ob...
We consider a programming language that can manipulate both classical an...
A long-standing open problem in the semantics of programming languages
s...
We describe a type system with mixed linear and non-linear recursive typ...
We describe a type system with mixed linear and non-linear recursive typ...
Linear/non-linear (LNL) models, as described by Benton, soundly model a ...