6 citations · 9 across the 4 of their papers we have counts for
5 papers
Decomposition and Gluing for Adiabatic Quantum Optimization
Micah Blake McCurdy, Jeffrey Egger, Jordan Kyriakidis
Farhi and others have introduced the notion of solving NP problems using adiabatic quantum com- puters. We discuss an application of this idea to the problem of integer factorizati…
Linear-use CPS translations in the Enriched Effect Calculus
Jeff Egger, Rasmus Ejlers Møgelberg, Alex Simpson
The enriched effect calculus (EEC) is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. This paper explores the enriched effect c…
On Cyclic Star-Autonomous Categories
Jeff Egger, Micah Blake McCurdy
We discuss cyclic star-autonomous categories; that is, unbraided star- autonomous categories in which the left and right duals of every object p are linked by coherent natural isom…
Girard couples of quantales
J. M. Egger, David Kruml
We introduce the concept of a Girard couple, which consists of two (not necessarily unital) quantales linked by a strong form of duality. The two basic examples of Girard couples a…
Quillen model categories without equalisers or coequalisers
J. M. Egger
Quillen defined a {\em model category} to be a category with finite limits and colimits carrying a certain extra structure. In this paper, we show that only finite products and cop…