A Diller-Nahm-style functional interpretation of KP w/hbox{/sf KP} /omega

Wolfgang Burr. A Diller-Nahm-style functional interpretation of KP w/hbox{/sf KP} /omega. Arch. Math. Log., 39(8):599-604, 2000. [doi]

Abstract

Abstract is missing.