Wolfgang Degen, Jan Johannsen. Cumulative Higher-Order Logic as a Foundation for Set Theory. Math. Log. Q., 46(2):147-170, 2000. [doi]
@article{DegenJ00,
title = {Cumulative Higher-Order Logic as a Foundation for Set Theory},
author = {Wolfgang Degen and Jan Johannsen},
year = {2000},
doi = {10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2},
url = {http://dx.doi.org/10.1002/(SICI)1521-3870(200005)46:2<147::AID-MALQ147>3.0.CO;2-2},
tags = {logic},
researchr = {https://researchr.org/publication/DegenJ00},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {46},
number = {2},
pages = {147-170},
}