2 citations · 2 across the 1 of their papers we have counts for
2 papers
cs.LO2020★ 2 cited
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…
quant-ph2018
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…