Proof Society 2025
Program
Information
Talks
Speakers
Archive
Location
Previous Editions
Utrecht, The Netherlands, 2022
Barcelona, Spain, 2023 (Workshop)
Barcelona, Spain, 2023 (School)
Birmingham, UK, 2024
(All Editions)
UGent
Logic
Proof Society 2025
Contributed
A classification of the provably total set-recursive functions of
KPl
,
KPl
r
and
W-KPl
Anton Fernández
TU Wien
on
Thu, 11:10
in
Class A (Zaal 1.05)
for
20min
Download the abstract.
Overview
Program
×