Michael Mislove
Tulane University
H-index: 22
North America-United States
Top articles of Michael Mislove
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Semantics for a Lambda Calculus for String Diagrams | Bert Lindenhovius Michael Mislove Vladimir Zamdzhiev | 2023/8/2 | |
Completing simple valuations in-categories | Topology and its Applications | Xiaodong Jia Michael Mislove | 2022/8/15 |
Semantics column | ACM SIGLOG News | Michael Mislove | 2022/5/12 |
Semantics for variational quantum programming | Proceedings of the ACM on Programming Languages | Xiaodong Jia Andre Kornell Bert Lindenhovius Michael Mislove Vladimir Zamdzhiev | 2022/1/11 |
A category of quantum posets | Indagationes Mathematicae | Andre Kornell Bert Lindenhovius Michael Mislove | 2022/11/1 |
Commutative monads for probabilistic programming languages | Xiaodong Jia Bert Lindenhovius Michael Mislove Vladimir Zamdzhiev | 2021/6/29 | |
LNL-FPC: The Linear/Non-linear Fixpoint Calculus | Logical Methods in Computer Science | Bert Lindenhovius Michael Mislove Vladimir Zamdzhiev | 2021/4/22 |
The Central Valuations Monad | arXiv preprint arXiv:2111.10873 | Xiaodong Jia Michael Mislove Vladimir Zamdzhiev | 2021/11/21 |
Quantum CPOs | arXiv preprint arXiv:2109.02196 | Andre Kornell Bert Lindenhovius Michael Mislove | 2021/9/6 |
Tulane University New Orleans, Louisiana | Continuous Lattices and Their Applications | KARL H HOFMANN MICHAEL MISLOVE | 2020/12/17 |
Free objects in the category of completely distributive lattices | Karl H Hofmann Michael Mislove | 2020/12/17 | |
Domains and stochastic processes | Theoretical Computer Science | Michael Mislove | 2020/2/6 |