Speaker
Antón Fernández Dejean
University of Barcelona
Talks at this conference:
| Wed, 11:45 |
A classification of the $\sf{KPl}$-provably total set-recursive functions Contributed Talks |
Speaker
| Wed, 11:45 |
A classification of the $\sf{KPl}$-provably total set-recursive functions Contributed Talks |