Speaker
Juan Pablo Aguilera
Vienna University of Technology
Talks at this conference:
| Tue, 14:00 |
New models of $\sf{GL.3}$ Invited Talks |
| Wed, 11:15 |
Strong completeness below $\sf{GLP}$ Contributed Talks |
| Wed, 11:45 |
A classification of the $\sf{KPl}$-provably total set-recursive functions Contributed Talks |