Contributed Talks
Strong completeness below $\sf{GLP}$
Grigorii Stepanov1, Juan Pablo Aguilera2
1,2 Vienna University of Technology
Grigorii Stepanov1, Juan Pablo Aguilera2
1,2 Vienna University of Technology