Michael Mislove

research

∙ 11/21/2021

We give a commutative valuations monad Z on the category DCPO of dcpo's ...

research

∙ 09/06/2021

We introduce the monoidal closed category qCPO of quantum cpos, whose ob...

research

∙ 07/28/2021

We consider a programming language that can manipulate both classical an...

research

∙ 01/31/2021

A long-standing open problem in the semantics of programming languages s...

research

∙ 02/05/2020

We prove that Keimel and Lawson's K-completion Kc of the simple valuatio...

research

∙ 06/22/2019

We describe a type system with mixed linear and non-linear recursive typ...

research

∙ 06/22/2019

We describe a type system with mixed linear and non-linear recursive typ...

research

∙ 06/28/2018

Domain theory has a long history of applications in theoretical computer...

research

∙ 04/25/2018

Linear/non-linear (LNL) models, as described by Benton, soundly model a ...

Featured Co-authors