A Diller-Nahm-style functional interpretation of $hbox{sf KP} omega$
Wolfgang BurrVolume:
39
Language:
english
Pages:
6
Journal:
Archive for Mathematical Logic
DOI:
10.1007/s001530050167
Date:
November, 2000
File:
PDF, 74 KB
english, 2000