A Simplification of Girard's Paradox. - Antonius J. C. Hurkens (TLCA, 1995)

The Logic of Recursive Equations. - Antonius J. C. Hurkens; Monica McArthur; Yiannis N. Moschovakis; Lawrence S. Moss; Glen T. Whitney (J. Symb. Log., 1998)