Victoria Barrett

According to our database, Victoria Barrett authored at least 2 papers in 2025.

Collaborative distances:

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

2025

Proof Compression via Subatomic Logic and Guarded Substitutions.

Victoria Barrett, Alessio Guglielmi, Benjamin Ralph, Lutz Straßburger

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

A Strictly Linear Subatomic Proof System.

Victoria Barrett, Alessio Guglielmi, Benjamin Ralph

Proceedings of the 33rd EACSL Annual Conference on Computer Science Logic, 2025