14 citations · 17 across the 4 of their papers we have counts for
4 papers
A Nominal Approach to Probabilistic Separation Logic
John M. Li, Jon Aytac, Philip Johnson-Freyd +2
Currently, there is a gap between the tools used by probability theorists and those used in formal reasoning about probabilistic programs. On the one hand, a probability theorist d…
Topos Semantics for a Higher-Order Temporal Logic of Actions
Philip Johnson-Freyd, Jon Aytac, Geoffrey Hulette
TLA is a popular temporal logic for writing stuttering-invariant specifications of digital systems. However, TLA lacks higher-order features useful for specifying modern software w…
Some Coxeter Groups in Reversible and Quantum Compuation
Jon Aytac, Ammar Husain
In this article we show how the structure of Coxeter groups are present in gate sets of reversible and quantum computing. These groups have efficient word problems which means that…
Finite temperature quantum simulation of stabilizer Hamiltonians
Kevin C. Young, Mohan Sarovar, Jon Aytac +2
We present a scheme for robust finite temperature quantum simulation of stabilizer Hamiltonians. The scheme is designed for realization in a physical system consisting of a finite…