Alex Rice

According to our database, Alex Rice authored at least 11 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Quantum Circuits Are Just a Phase.

Chris Heunen, Louis Lemonnier, Christopher McNally, Alex Rice

Proc. ACM Program. Lang., 2026

2025

The Agda standard library: version 2.0.

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

J. Open Source Softw., December, 2025

A type-theoretic approach to semistrict higher categories.

Alex Rice

CoRR, February, 2025

2024

A Syntax for Strictly Associative and Unital ∞-Categories.

Eric Finster, Alex Rice, Jamie Vicary

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2023

2022

Reciprocal Sums and Counting Functions.

Alex Rice

Am. Math. Mon., 2022

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary, Alex Rice

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

A Type Theory for Strictly Associative Infinity Categories.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2021

2015

A Quantitative Result on Diophantine Approximation for Intersective Polynomials.

Neil Lyall, Alex Rice

Integers, 2015

2014

Computation on elliptic curves with complex multiplication.

Pete L. Clark, Patrick Corn, Alex Rice, James Stankewicz

LMS J. Comput. Math., 2014

Analyzing Forged SSL Certificates in the Wild.

Lin-Shung Huang, Alex Rice, Erling Ellingsen, Collin Jackson

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014