Zobrazeno 1 - 10 of 289 pro vyhledávání: '"Michael Mislove"'
1
Akademický článek
LNL-FPC: The Linear/Non-linear Fixpoint Calculus
Autor: Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
Publikováno v: Logical Methods in Computer Science, Vol Volume 17, Issue 2 (2021)
We describe a type system with mixed linear and non-linear recursive types called LNL-FPC (the linear/non-linear fixpoint calculus). The type system supports linear typing, which enhances the safety properties of programs, but also supports non-linea
Externí odkaz: https://doaj.org/article/797e96129c474376ba2e5b306acb1eb0
Zobrazit plný text záznamu
2
A category of quantum posets
Autor: Andre Kornell, Bert Lindenhovius, Michael Mislove
Publikováno v: Indagationes Mathematicae. 33:1137-1171
We investigate a category of quantum posets that generalizes the category of posets and monotone functions. Up to equivalence, its objects are hereditarily atomic von Neumann algebras equipped with quantum partial orders in Weaver's sense. We show th
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee314f07bdee79cf788f1a84eb7e81d8
https://doi.org/10.1016/j.indag.2022.07.001
Zobrazit plný text záznamu
3
Semantics for Variational Quantum Programming
Autor: Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev
Publikováno v: 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022)
49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022), Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages
POPL 2022-49th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2022, Philadelphia, United States. ⟨10.1145/3498687⟩
We consider a programming language that can manipulate both classical and quantum information. Our language is type-safe and designed for variational quantum programming, which is a hybrid classical-quantum computational paradigm. The classical subsy
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f304e4e20d092201fd763a881cc8b48
https://hal.inria.fr/hal-03519235
Zobrazit plný text záznamu
4
Akademický článek
Probabilistic Monads, Domains and Classical Information
Autor: Michael Mislove
Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 88, Iss Proc. DCM 2011, Pp 87-100 (2012)
Shannon's classical information theory uses probability theory to analyze channels as mechanisms for information flow. In this paper, we generalize results of Martin, Allwein and Moskowitz for binary channels to show how some more modern tools - prob
Externí odkaz: https://doaj.org/article/6458673624344b1a872cd83bc8a06dd6
Zobrazit plný text záznamu
5
Quantum CPOs
Autor: Andre Kornell, Bert Lindenhovius, Michael Mislove
We introduce the monoidal closed category qCPO of quantum cpos, whose objects are "quantized" analogs of omega-complete partial orders (cpos). The category qCPO is enriched over the category CPO of cpos, and contains both CPO, and the opposite of the
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52c26a92b719ee91cfe2706bab7b7949
http://arxiv.org/abs/2109.02196
Zobrazit plný text záznamu
9
Semantics column
Autor: Michael Mislove, Prakash Panangaden
Publikováno v: ACM SIGLOG News. 3:44-46
In this quarter's column, Stephen Brookes and Peter O'Hearn describe how Concurrent Separation Logic (CSL) arose, including a little about the soundness proof and a discussion of later developments that arose from CSL. The column is especially timely
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::b346642c69ef0323e3786f254e1231fb
https://doi.org/10.1145/2984450.2984456
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje