Quantum algorithms are sequences of abstract operations, performed on non-existent computers. They are in obvious need of categorical semantics. We present some steps in this direction, following earlier contributions of Abramsky, Coecke and Selinger. In particular, we analyze function abstraction in quantum computation, which turns out to characterize its classical interfaces.
Some quantum algorithms provide feasible solutions of important hard problems, such as factoring and discrete log (which are the building blocks of modern cryptography). It is of a great practical interest to precisely characterize the computational resources needed to execute such quantum algorithms. There are many ideas how to build a quantumcomputer. Can we prove some necessary conditions? Categorical semantics help with such questions. We show how to implement an important family of quantum algorithms using just abelian groups and relations.
", author = "Dusko Pavlovic", institution = "OUCL", month = "October", number = "RR-09-13", pages = "29", title = "Geometry of abstraction in quantum computation", year = "2009", } @techreport{RR-09-09, abstract = "As mobile devices pervade physical space, the familiar authentication patterns are becoming insufficient: besides entity authentication, many applications require, e.g. location authentication. While many interesting and subtle protocols have been proposed and implemented to provide such strengthened authentication, there are very few proofs that such protocols satisfy the required properties. We consider the problem of adapting the Dolev-Yao-style reasoning methods for pervasive security. We show how the notion of guards, previously used for symbolic reasoning about secrecy, can be extended into a tool for analyzing pervasive authentication. It supports a simple form of probabilistic reasoning, necessary for situations where the authentication cannot be achieved in absolute sense, and needs to be quantified. We show that extension of our protocol derivation logic, although quite modest, suffices to uncover some interesting properties of the Hancke-Kuhn distance bounding protocol, and to explain some of its deceiving simplicity.", author = "Dusko Pavlovic and Catherine Meadows", institution = "OUCL", month = "October", number = "RR-09-09", pages = "12", title = "Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol", year = "2009", } @inproceedings{PavlovicD:CWSP09, author = "Dusko Pavlovic and Catherine Meadows", booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009", editor = "Bruce Christianson", title = "Deriving ephemeral authentication", year = "2009", } @inproceedings{PavlovicD:QI09, author = "Dusko Pavlovic", booktitle = "Proceedings of Quanum Interaction 2009", editor = "Peter Bruza and Don Sofge and Keith {van Rijsbergen}", note = "15 pp", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Quantum and classical structures in nondeterministic computation", url = "http://arxiv.org/abs/0812.2266", year = "2009", } Warning - the bibtex entry below may be invalid: Missing 'journal' field @article{cpv08-ndob, author = "Bob Coecke, Dusko Pavlovic and Jamie Vicary", title = "A new description of orthogonal bases", url = "http://arxiv.org/abs/0810.0812", year = "2008", } @incollection{PavlovicD:CQStruct, author = "Bob Coecke and Eric Oliver Paquette and Dusko Pavlovic", booktitle = "Semantical Techniques in Quantum Computation", editor = "Simon Gay and Ian Mackie", note = "to appear", publisher = "Cambridge University Press", title = "Classical and quantum structuralism", year = "2008", } @article{PavlovicD:MSCS08, author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary", journal = "Math. Structures in Comp. Sci.", note = "13pp, to appear, arxiv.org/abs/0810.0812", title = "A new description of orthogonal bases", url = "http://arxiv.org/abs/0810.0812", year = "2008", } @inproceedings{PavlovicD:ISTPS08, author = "Dusko Pavlovic and Catherine Meadows", booktitle = "Proceedings of ISTPS 2008", editor = "John McLean", note = "15 pp, to appear", publisher = "ACM", title = "Deriving authentication for pervasive security", year = "2008", } @inproceedings{PavlovicD:AMAST08, author = "Dusko Pavlovic and Peter Pepper and Douglas R. Smith", booktitle = "Proceedings of AMAST 2008", editor = "Jose Meseguer and Grigore Rosu", pages = "299-314", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Evolving Specification Engineering", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST08.pdf", volume = "5140", year = "2008", } @inproceedings{PavlovicD:FAST08, author = "Dusko Pavlovic", booktitle = "Proceedings of FAST 2008", editor = "Pierpaolo Degano and Joshua Guttman and Fabio Martinelli", keywords = "trust,power law,electronic commerce,recommender system", note = "16pp, to appear", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Dynamics, robustness and fragility of trust", url = "http://arxiv.org/abs/0808.0732", year = "2008", } @techreport{RR-08-02, author = "Bob Coecke and Eric O Paquette and Dusko Pavlovic", institution = "OUCL", number = "RR-08-02", title = "Classical and Quantum Structures", year = "2008", } @techreport{RR-08-03, author = "Bob Coecke and Dusko Pavlovic", institution = "OUCL", number = "RR-08-03", title = "Scalar Inverses in Quantum Structuralism", year = "2008", } @inproceedings{PavlovicD:QI08, author = "Dusko Pavlovic", booktitle = "Quantum Interaction 2008", editor = "Peter Bruza", note = "http://arxiv.org/abs/0802.1296", publisher = "AAAI", title = "On quantum statistics in data analysis", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/qsearch.pdf", year = "2008", } @inproceedings{PavlovicD:CSR08, author = "Dusko Pavlovic", booktitle = "Proceedings of CSR 2008", editor = "Alexander Razborov and Anatol Slissenko", keywords = "networks,network modules,pagerank,reputation", note = "http://arxiv.org/abs/0802.1306", pages = "384-397", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Network as a computer: ranking paths to find flows", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/PathRank-short.pdf", volume = "5010", year = "2008", } @article{PavlovicD:Plotkinfest07, address = "Amsterdam, The Netherlands, The Netherlands", author = "Michael Mislove and Dusko Pavlovic and James Worrell", doi = "http://dx.doi.org/10.1016/j.entcs.2007.02.015", issn = "1571-0661", journal = "Electron. Notes Theor. Comput. Sci.", pages = "459--478", publisher = "Elsevier Science Publishers B. V.", title = "Labelled Markov Processes as Generalised Stochastic Relations", volume = "172", year = "2007", } @incollection{PavlovicD:QMWS, author = "B. Coecke and D. Pavlovic", booktitle = "Mathematics of Quantum Computing and Technology", editor = "G. Chen and L. Kauffman and S. Lamonaco", note = "available at {\tt http://lanl.arxiv.org/abs/quant-ph/0608035}", publisher = "Taylor and Francis", title = "Quantum measurements without sums", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/QMWS.pdf", year = "2007", } @techreport{RR-06-02, abstract = "Sums play a prominent role in the formalisms of quantum mechanics, be it for mixing and superposing states, or for composing state spaces. Surprisingly, a conceptual analysis of quantum measurement seems to suggest that quantum mechanics can be done without direct sums, expressed entirely in terms of the tensor product. The corresponding axioms define classical spaces as objects that allow copying and deleting data. Indeed, the information exchange between the quantum and the classical worlds is essentially determined by their distinct capabilities to copy and delete data. The sums turn out to be an implicit implementation of this capabilities. Realizing it through explicit axioms not only dispenses with the unnecessary structural baggage, but also allows a simple and intuitive graphical calculus. In category-theoretic terms, classical data types are dagger-compact Frobenius algebras, and quantum spectra underlying quantum measurements are Eilenberg-Moore coalgebras induced by these Frobenius algebras.", author = "Bob Coecke and Dusko Pavlovic", institution = "Oxford University Computing Laboratory", month = "July", number = "RR-06-02", title = "Quantum measurements without sums", year = "2006", } @inproceedings{PavlovicD:ICC06, author = "Matthias Anlauff and Dusko Pavlovic and Asuman {S\"{u}nb\"{u}l}", booktitle = "Proceedings of {IEEE} Interrnational Conference on Communications", editor = "{B\"{u}lent} Yener and Refik Molva and Carlos Becker Westphall", publisher = "IEEE", title = "Deriving secure network protocols for enterprise service architectures", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ICC06.pdf", year = "2006", } @inproceedings{PavlovicD:AMAST06, author = "Dusko Pavlovic and Michael Mislove and James Worrell", booktitle = "Proceedings of AMAST 2006", editor = "Michael Johnson and Varmo Vene", pages = "308--322", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Testing semantics: Connecting processes and process logics", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST06.pdf", volume = "4019", year = "2006", } @inproceedings{PavlovicD:ARSPA06, author = "Matthias Anlauff and Dusko Pavlovic and Richard Waldinger and Stephen Westfold", booktitle = "Proceedings of FCS-ARSPA 2006", editor = "Pierpaolo Degano and Ralph {K\"{u}sters} and Luca Vigano", publisher = "ACM", title = "Proving Authentication Properties in the {Protocol Derivation Assistant}", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FCS-ARSPA06.pdf", year = "2006", } @inproceedings{PavlovicD:ESORICS06, author = "Dusko Pavlovic and Catherine Meadows", booktitle = "Proceedings of ESORICS 2006", editor = "Dieter Gollmann and Andrei Sabelfeld", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Deriving secrecy properties in key establishment protocols", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ESORICS06.pdf", volume = "4189", year = "2006", } @incollection{PavlovicD:dist06, author = "Catherine Meadows and Radha Poovendran and Dusko Pavlovic and LiWu Chang and Paul Syverson", booktitle = "Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks", editor = "R. Poovendran and C. Wang and S. Roy", isbn = "0-387-32721-5", publisher = "Springer Verlag", title = "Distance bounding protocols: authentication logic analysis and collusion attacks", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/dist06.pdf", year = "2006", } @article{PavlovicD:JCS05, author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic", journal = "J. of Comp. Security", pages = "423--482", title = "A derivation system and compositional logic for security protocols", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS05.pdf", volume = "13", year = "2005", } @inproceedings{PavlovicD:CSFW05, author = "Iliano Cervesato and Catherine Meadows and Dusko Pavlovic", booktitle = "Proceedings of CSFW 2005", editor = "Joshua Guttman", pages = "48--61", publisher = "IEEE", title = "An encapsulated authentication logic for reasoning about key distribution protocols", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW05.pdf", year = "2005", } @article{PavlovicD:JCS04, author = "Nancy Durgin and John Mitchell and Dusko Pavlovic", journal = "J. of Comp. Security", number = "4", pages = "677--721", title = "A compositional logic for proving security properties of protocols", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS03.pdf", volume = "11", year = "2004", } @inproceedings{PavlovicD:FOSSACS04, author = "Michael Mislove and Joel Ouaknine and Dusko Pavlovic and James Worrell", booktitle = "Proceedings of FoSSaCS 2004", editor = "Igor Walukiewicz", pages = "393--407", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Duality for Labelled Markov Processes", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/DLMP.ps", volume = "2987", year = "2004", } @inproceedings{PavlovicD:ESORICS04, author = "Catherine Meadows and Dusko Pavlovic", booktitle = "Proceedings of ESORICS 2004", editor = "Peter Ryan and Pierangela Samarati and Dieter Gollmann and Refik Molva", pages = "53--72", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Deriving, attacking and defending the {GDOI} protocol", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GDOI.ps", volume = "3193", year = "2004", } @inproceedings{PavlovicD:CSFW04, author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic", booktitle = "Proceedings of CSFW 2004", editor = "Riccardo Focardi", pages = "30--47", publisher = "IEEE", title = "Abstraction and refinement in protocol derivation", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW04.ps", year = "2004", } @inproceedings{PavlovicD:CSFW03, author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic", booktitle = "Proceedings of CSFW 2003", editor = "Dennis Volpano", pages = "109--125", publisher = "IEEE", title = "A derivation system for security protocols and its logical formalization", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW03.pdf", year = "2003", } @inproceedings{PavlovicD:FMSE03, author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic", booktitle = "Proceedings of FMCS 2003", editor = "Michael Backes and David Basin and Michael Waidner", pages = "11--23", publisher = "ACM", title = "Secure protocol composition (extended abstract)", year = "2003", } @article{PavlovicD:MFPS03, author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic", journal = "E. Notes in Theor. Comp. Sci.", pages = "87--114", title = "Secure protocol composition", url = "http://www1.elsevier.com/gej-ng/31/29/23/147/23/show/Products/notes/index.htt", year = "2003", } @inproceedings{PavlovicD:SDR, author = "Dusko Pavlovic and Douglas R. Smith", booktitle = "Formal Methods at the Crossroads", editor = "Bernhard K. Aichernig and Tom Maibaum", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Software development by refinement", volume = "2757", year = "2003", } @inproceedings{PavlovicD:ManaFest, author = "Dusko Pavlovic and Peter Pepper and Douglas R.~Smith", booktitle = "Verification --- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday", editor = "Nachum Dershowitz", pages = "568--597", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Colimits for Concurrent Collectors", volume = "2772", year = "2003", } @article{PavlovicD:CRN1, author = "Dusko Pavlovic and Vaughan Pratt", journal = "Theor. Comp. Sci.", number = "1--2", pages = "105--122", title = "The continuum as a final coalgebra", volume = "280", year = "2002", } @techreport{PavlovicD:JFK, author = "Anupam Datta and John C. Mitchell and Dusko Pavlovic", institution = "Kestrel Institute", month = "jul", number = "KES.U.02.03", title = "Derivation of the JFK protocol", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/MIPv6.ps", year = "2002", } @techreport{PavlovicD:MIPv6, author = "Anupam Datta and John C. Mitchell and Frederic Muller and Dusko Pavlovic", institution = "Kestrel Institute", month = "mar", number = "KES.U.02.02", title = "Authentication for Mobile IPv6", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/MIPv6.ps", year = "2002", } @inproceedings{PavlovicD:AMAST02, author = "Dusko Pavlovic and Douglas R. Smith", booktitle = "Proceedings of AMAST 2002", editor = "H. Kirchner and C. Ringeissen", pages = "411--425", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Guarded transitions in evolving specifications", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GTES.ps", volume = "2422", year = "2002", } @inproceedings{PavlovicD:IDPT02, author = "Matthias Anlauf and Dusko Pavlovic", booktitle = "Proceedings of IDPT 2002", editor = "H. Ehrig and B.J.~{Kr{\"a}mer} and A.~Ertas", publisher = "Society for Design and Process Science", title = "On Specification Carrying Software, its Refinement and Composition", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/IDPT.ps", year = "2002", } @inproceedings{PavlovicD:SSAS, author = "Du\v{s}ko Pavlovi\'c", booktitle = "Proceedings of the Workshop on Self-Adaptive Software", editor = "Paul Robertson and Howie Schrobe and Robert Laddaga", pages = "50--64", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Towards semantics of self-adaptive software", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SSAS.ps", volume = "1936", year = "2001", } @inproceedings{PavlovicD:CSFW01, author = "Nancy Durgin and John C. Mitchell and Dusko Pavlovic", booktitle = "Proceedings of CSFW 2001", editor = "Steve Schneider", pages = "241--255", publisher = "IEEE", title = "A compositional logic for protocol correctness", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLPC.ps", year = "2001", } @techreport{PavlovicD:EPOXI, author = "Dusko Pavlovic", institution = "Kestrel Institute", month = "jan", number = "KES.U.01.1", title = "EPOXI", year = "2001", } @inproceedings{PavlovicD:FOSSACS01, author = "Sava Krsti/'c and John Launchbury and Dusko Pavlovi\'c", booktitle = "Proceedings of FoSSaCS 2001", editor = "Furio Honsell", pages = "303--317", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Categories of processes enriched in final coalgebras", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/HYP.ps", volume = "2030", year = "2001", } @inproceedings{PavlovicD:ASE01, author = "Dusko Pavlovic and Douglas R. Smith", booktitle = "Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering", publisher = "IEEE", title = "Composition and refinement of behavioral specifications", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CRBS.ps", year = "2001", } @techreport{PavlovicD:LBF, author = "Dusko Pavlovic", institution = "Kestrel Institute", month = "dec", number = "KES.U.00.9", title = "Logic of build fusion", year = "2000", } @article{PavlovicD:CRN, author = "Dusko Pavlovic and Vaughan Pratt", journal = "E. Notes in Theor. Comp. Sci.", pages = "133--148", title = "On coalgebra of real numbers", url = "http://www.elsevier.nl/locate/entcs", volume = "19", year = "1999", } @inproceedings{PavlovicD:FOPS, author = "Du\v{s}ko Pavlovi\'c", booktitle = "Formal Methods '99", editor = "J. Woodcock and J. Wing", pages = "155--172", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Semantics of first order parametric specifications", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FOPS.ps", volume = "1708", year = "1999", } @inproceedings{PavlovicD:LAPL, author = "Dusko Pavlovi\'c and Mart\'{\i}n Escard\'o", booktitle = "Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science", editor = "V. Pratt", pages = "408--417", publisher = "IEEE Computer Society", title = "Calculus in coinductive form", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/LAPL.ps", year = "1998", } @article{PavlovicD:GIFC, author = "Dusko Pavlovi\'c", journal = "E. Notes in Theor. Comp. Sci.", pages = "143--160", title = "Guarded induction on final coalgebras", url = "http://www.elsevier.nl/locate/entcs", volume = "11", year = "1998", } @techreport{PavlovicD:GUA, author = "Dusko Pavlovi\'c", institution = "Kestrel Institute", month = "dec", title = "Towards semantics of guarded induction", year = "1998", } @article{PavlovicD:chuI, author = "Dusko Pavlovic", journal = "Math. Structures in Comp. Sci.", number = "2", pages = "49--73", title = "Chu I: cofree equivalences, dualities and $\ast$-autonomous categories", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/chuI.ps", volume = "7", year = "1997", } @article{PavlovicD:CLNA, author = "Dusko Pavlovic", journal = "Math. Structures in Comp. Sci.", pages = "619--637", title = "Categorical logic of names and abstraction in action calculus", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLNA.ps", volume = "7", year = "1997", } @inproceedings{PavlovicD:SIC, author = "Dusko Pavlovic and Samson Abramsky", booktitle = "Category Theory and Computer Science '97", editor = "E.~Moggi and G.~Rosolini", pages = "147--158", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Specifying Interaction Categories", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SIC.ps", volume = "1290", year = "1997", } @article{PavlovicD:mapsII, author = "Dusko Pavlovic", journal = "J. of the IGPL", number = "2", pages = "1--36", title = "Maps II: Chasing diagrams in categorical proof theory", url = "http://www.dcs.kcl.ac.uk/journals/IGPL/V4-2/", volume = "4", year = "1996", } @inproceedings{PavlovicD:CCPS2, author = "Dusko Pavlovic", booktitle = "Theory and Formal Methods of Computing 96", editor = "A.~Edalat et al.", pages = "156--167", publisher = "World Scientific", title = "Convenient categories of processes and simulations II: modulo weak and branching bisimilarities", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS2.ps", year = "1996", } @article{PavlovicD:completeness, author = "Dusko Pavlovic", journal = "Annals Pure Appl. Logic", pages = "121--152", title = "On completeness and cocompleteness in and around small categories", volume = "74", year = "1995", } @article{PavlovicD:mapsI, author = "Dusko Pavlovic", journal = "J.~Pure Appl. Algebra", pages = "9--34", title = "Maps I: relative to a factorisation system", url = "ftp://triples.math.mcgill.ca/pub/pavlovic/mapsI.ps", volume = "99", year = "1995", } @article{PavlovicD:4c, author = "Dusko Pavlovic", journal = "J.~Pure Appl. Algebra", pages = "75--88", title = "A categorical setting for the 4-Colour Theorem", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/4c.ps", volume = "102", year = "1995", } @inproceedings{PavlovicD:CCPS1, author = "Dusko Pavlovic", booktitle = "Category Theory and Computer Science '95", editor = "D.~Pitt et al.", pages = "3--24", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Convenient categories of processes and simulations I: modulo strong bisimilarity", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS1.ps", volume = "953", year = "1995", } @inproceedings{PavlovicD:CLCI, author = "Dusko Pavlovic", booktitle = "Theory and Formal Methods of Computing 94", editor = "C.~Hankin et al.", pages = "105--141", publisher = "World Scientific", title = "Categorical logic of concurrency and interaction {I}. Synchronous processes", url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLCI.ps", year = "1995", } @article{PavlovicD:paradoxes, author = "Dusko Pavlovic", journal = "Arch. Math. Logic", pages = "397--406", title = "On the structure of paradoxes", volume = "31", year = "1992", } @inproceedings{PavlovicD:LAFT, author = "Dusko Pavlovic", booktitle = "Category Theory 1991, Proceedings of an International Summer Category Theory Meeting", editor = "R.A.G.~Seely", pages = "361--367", publisher = "American Mathematical Society", series = "CMS Conference Proceedings", title = "A logical view on the Adjoint Functor Theorem", volume = "13", year = "1992", } @inproceedings{PavlovicD:constructions, author = "Dusko Pavlovic", booktitle = "Category Theory and Computer Science '91", editor = "D.~Pitt et al.", pages = "173--197", publisher = "Springer Verlag", series = "Lecture Notes in Computer Science", title = "Constructions and predicates", volume = "530", year = "1991", } @inproceedings{PavlovicD:interpolation, author = "Dusko Pavlovic", booktitle = "Category Theory, Proceedings, Como 1990", editor = "A.~Carboni et al.", pages = "306--326", publisher = "Springer Verlag", series = "Lecture Notes in Mathematics", title = "Categorical interpolation: descent and the Beck-Chevalley condition without direct images", volume = "1488", year = "1991", } @phdthesis{PavlovicD:thesis, author = "Dusko Pavlovic", school = "Rijksuniversiteit Utrecht", title = "Predicates and Fibrations", year = "1990", }