HoTT/book — pull request #316 by mikeshulman (2013-06-24 06:07:57+00:00)
Title: the paradoxes of self-reference are not specific to set theory

Francois Dorais pointed this out:
http://dorais.org/archives/1425#comment-634