Pavlovic, Dusko Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers. arXiv:2007.10057 Preprint, arXiv:2007.10057 [cs.LO] (2020). MSC: 03G30 18C50 68Q55 68Q85 18D15 68N18 68Q05 BibTeX Cite \textit{D. Pavlovic}, ``Retracing some paths in categorical semantics: From process-propositions-as-types to categorified reals and computers'', Preprint, arXiv:2007.10057 [cs.LO] (2020) Full Text: DOI arXiv OA License
Coecke, Bob; Paquette, Éric Oliver; Pavlovic, Dusko Classical and quantum structuralism. (English) Zbl 1192.81016 Gay, Simon (ed.) et al., Semantic techniques in quantum computation. Cambridge: Cambridge University Press (ISBN 978-0-521-51374-6/hbk). 29-69 (2010). MSC: 81P05 03G30 19A22 PDFBibTeX XMLCite \textit{B. Coecke} et al., in: Semantic techniques in quantum computation. Cambridge: Cambridge University Press. 29--69 (2010; Zbl 1192.81016) Full Text: arXiv
Pavlovic, Dusko; Mislove, Michael; Worrell, James B. Testing semantics: Connecting processes and process logics. (English) Zbl 1236.68065 Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 11th international conference, AMAST 2006, Kuressaare, Estonia, July 5–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-35633-2/pbk). Lecture Notes in Computer Science 4019, 308-322 (2006). MSC: 68Q05 03B70 03G30 68Q55 68Q65 PDFBibTeX XMLCite \textit{D. Pavlovic} et al., Lect. Notes Comput. Sci. 4019, 308--322 (2006; Zbl 1236.68065) Full Text: DOI
Pavlovic, Dusko; Pratt, Vaughan On coalgebra of real numbers. (English) Zbl 1094.13541 Jacobs, Bart (ed.) et al., CMCS ‘99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS ‘99. Amsterdam, the Netherlands, March 20–21, 1999. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 19, electronic paper No. 9 (1999). MSC: 13J30 03G30 18B30 03B30 PDFBibTeX XMLCite \textit{D. Pavlovic} and \textit{V. Pratt}, Electron. Notes Theor. Comput. Sci. 19, electronic paper No. 9 (1999; Zbl 1094.13541) Full Text: DOI
Pavlović, Duško Categorical logic of names and abstraction in action calculi. (English) Zbl 0893.03028 Math. Struct. Comput. Sci. 7, No. 6, 619-637 (1997). MSC: 03G30 18D10 18C10 68Q55 PDFBibTeX XMLCite \textit{D. Pavlović}, Math. Struct. Comput. Sci. 7, No. 6, 619--637 (1997; Zbl 0893.03028) Full Text: DOI
Pavlović, Duško Maps. II: Chasing diagrams in categorical proof theory. (English) Zbl 0852.18008 J. IGPL 4, No. 2, 159-194 (1996). Reviewer: W.Tholen (Downsview) MSC: 18D30 03G30 03F03 18B25 PDFBibTeX XMLCite \textit{D. Pavlović}, J. IGPL 4, No. 2, 159--194 (1996; Zbl 0852.18008)
Pavlović, Duško Categorical logic of concurrency and interaction. I: Synchronous processes. (English) Zbl 0841.03036 Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 105-141 (1995). MSC: 03G30 68Q10 PDFBibTeX XMLCite \textit{D. Pavlović}, in: Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 105--141 (1995; Zbl 0841.03036)
Pavlović, Duško On completeness and cocompleteness in and around small categories. (English) Zbl 0829.18001 Ann. Pure Appl. Logic 74, No. 2, 121-152 (1995). Reviewer: P.T.Johnstone (Cambridge) MSC: 18A35 03F65 18B25 18D30 03G30 18A40 PDFBibTeX XMLCite \textit{D. Pavlović}, Ann. Pure Appl. Logic 74, No. 2, 121--152 (1995; Zbl 0829.18001) Full Text: DOI
Pavlović, Duško On the structure of paradoxes. (English) Zbl 0776.03005 Arch. Math. Logic 31, No. 6, 397-406 (1992). Reviewer: D.Pavlović (Montreal) MSC: 03B40 03G30 18D15 PDFBibTeX XMLCite \textit{D. Pavlović}, Arch. Math. Logic 31, No. 6, 397--406 (1992; Zbl 0776.03005) Full Text: DOI
Pavlović, Duško Constructions and predicates. (English) Zbl 0794.03097 Pitt, David H. (ed.) et al., Category theory and computer science. 4th biennial summer conference, Paris, France, September 3-6, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 530, 173-196 (1991). MSC: 03G30 03F35 03B70 PDFBibTeX XMLCite \textit{D. Pavlović}, Lect. Notes Comput. Sci. 530, 173--196 (1991; Zbl 0794.03097)