Alex Rice

12 papers A* 3Journal 9
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quantum Circuits Are Just a Phase.
Proc. ACM Program. Lang.
Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
2025 J jnl
A type-theoretic approach to semistrict higher categories.
CoRR
Alex Rice
2025 J jnl
Quantum circuits are just a phase.
CoRR
Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice
2025 J jnl
The Agda standard library: version 2.0.
J. Open Source Softw.
Matthew L. Daggitt, Guillaume Allais, James McKinna, Andreas Abel, Van Doorn, Nathan, James Wood, Ulf Norell, Donnacha Oisín Kidney, Sergei Meshveliani, Sandro Stucki, Jacques Carette, Alex Rice, Jason Z. S. Hu, Li-yao Xia, Shu-Hung You, Reed Mullanix, Wen Kokke
2024 A* conf
A Syntax for Strictly Associative and Unital ∞-Categories.
LICS
Eric Finster, Alex Rice, Jamie Vicary
2023 J jnl
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.
CoRR
Eric Finster, Alex Rice, Jamie Vicary
2022 A* conf
A Type Theory for Strictly Unital ∞-Categories.
LICS
Eric Finster, David Reutter, Jamie Vicary, Alex Rice
2022 J jnl
Reciprocal Sums and Counting Functions.
Am. Math. Mon.
Alex Rice
2021 J jnl
A Type Theory for Strictly Associative Infinity Categories.
CoRR
Eric Finster, Alex Rice, Jamie Vicary
2015 J jnl
A Quantitative Result on Diophantine Approximation for Intersective Polynomials.
Integers
Neil Lyall, Alex Rice
2014 A* conf
Analyzing Forged SSL Certificates in the Wild.
IEEE Symposium on Security and Privacy
Lin-Shung Huang, Alex Rice, Erling Ellingsen, Collin Jackson
2014 J jnl
Computation on elliptic curves with complex multiplication.
LMS J. Comput. Math.
Pete L. Clark, Patrick Corn, Alex Rice, James Stankewicz