Keyword: reynolds paradox

• Paradoxes: Paradoxes in Set Theory and Type Theory
  Benjamin Werner, Bruno Barras, Hugo Herbelin, Thierry Coquand