@article{SPHM_1993___2_A2_0,
     author = {Longo, Giuseppe},
     title = {Some {Aspects} of {Impredicativity}},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     eid = {2},
     pages = {10--28},
     publisher = {IREM Paris-Nord},
     number = {2},
     year = {1993},
     language = {en},
     url = {http://archive.numdam.org/item/SPHM_1993___2_A2_0/}
}