3 papers
cs.LO2022
Higher-order causal theories are models of BV-logic
Will Simmons, Aleks Kissinger
The Caus[-] construction takes a compact closed category of basic processes and yields a *-autonomous category of higher-order processes obeying certain signalling/causality constr…
math.AC2018
Explicit polynomial bounds on prime ideals in polynomial rings over fields
William Simmons, Henry Towsner
Suppose is an ideal of a polynomial ring over a field, , and whenever with degree , then either or . When i…
math.AG2015
New examples (and counterexamples) of complete finite-rank differential varieties
William D. Simmons
Differential algebraic geometry seeks to extend the results of its algebraic counterpart to objects defined by differential equations. Many notions, such as that of a projective al…