A Diller-Nahm-style functional interpretation of KPω (0)

by Wolfgang Burr
Venue:Arch. Math. Logic