dusko pavlovic
University of Hawaii at Manoa
H-index: 29
North America-United States
Top articles of dusko pavlovic
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
What Can Be Computed | Dusko Pavlovic | 2023/5/16 | |
What Cannot Be Computed | Dusko Pavlovic | 2023/5/16 | |
Catales: From topologies without points to categories without objects | arXiv preprint arXiv:2311.10342 | Dusko Pavlovic | 2023/11/17 |
Stateful Computing | Dusko Pavlovic | 2023/5/16 | |
Drawing Types and Functions | Dusko Pavlovic | 2023/5/16 | |
Programs as Diagrams: From Categorical Computability to Computable Categories | Dusko Pavlovic | 2023/9/19 | |
Computing Programs | Dusko Pavlovic | 2023/5/16 | |
Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers | Dusko Pavlovic | 2023/8/2 | |
Monoidal Computer: Computability as a Structure | Dusko Pavlovic | 2023/5/16 | |
From Gödel’s Incompleteness Theorem to the completeness of bot beliefs | Dusko Pavlovic Temra Pavlovic | 2023/7/11 | |
Program-Closed Categories: Computability as a Property | Dusko Pavlovic | 2023/5/16 | |
Fixpoints | Dusko Pavlovic | 2023/5/16 | |
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell | arXiv preprint arXiv:2204.09285 | Dusko Pavlovic Dominic JD Hughes | 2022/4/20 |
Probabilistic Annotations for Protocol Models: Dedicated to Joshua Guttman | Dusko Pavlovic | 2021 | |
The nucleus of an adjunction and the Street monad on monads | Theory and applications of categories | Dusko Pavlovic Dominic Hughes | 2021/1 |
Decision support for sharing data using differential privacy | Mark F St John Grit Denker Peeter Laud Karsten Martiny Alisa Pankova | 2021/10/27 | |
Lambek pregroups are Frobenius spiders in preorders | arXiv preprint arXiv:2105.03038 | Dusko Pavlovic | 2021/5/7 |
University of Hawaii, Honolulu HI | arXiv preprint arXiv:2004.07353 | Dusko Pavlovic | 2020/4 |
Logic of Fusion: — Dedicated to Andre Scedrov — | Dusko Pavlovic | 2020/10/28 | |
Nucleus I: Adjunction spectra in recommender systems and descent | arXiv preprint arXiv:2004.07353 | Dusko Pavlovic Dominic JD Hughes | 2020/4/15 |