Contributed Talks
A classification of the $\sf{KPl}$-provably total set-recursive functions
Juan Pablo Aguilera1, Antón Fernández Dejean2, Joost Joosten3
1 Vienna University of Technology 2,3 University of Barcelona
Juan Pablo Aguilera1, Antón Fernández Dejean2, Joost Joosten3
1 Vienna University of Technology 2,3 University of Barcelona