Wormshop 2024

Contributed Talks

Strong completeness below $\sf{GLP}$

Grigorii Stepanov1, Juan Pablo Aguilera2
1,2 Vienna University of Technology

on  Wed, 11:15for  30min

(Download the abstract.)

(Download the slides.)

 Overview