Type-theoretic interpretation of iterated, strictly positive inductive definitions Erik Palmgren OriginalPaper Pages: 75 - 99
The distribution of the generic recursively enumerable degrees Ding Decheng OriginalPaper Pages: 113 - 135