Papers or preprints (chronologically since 1996)

Lectures on Higher Type ITTM Recursion and Determinacy