Jean-Yves Girard, Dag Normann. Set recursion and Πhalf-logic. Annals of Pure and Applied Logic, 28(3):255-286, 1985. [doi]
@article{GirardN85,
title = {Set recursion and Πhalf-logic},
author = {Jean-Yves Girard and Dag Normann},
year = {1985},
doi = {10.1016/0168-0072(85)90017-X},
url = {http://dx.doi.org/10.1016/0168-0072(85)90017-X},
researchr = {https://researchr.org/publication/GirardN85},
cites = {0},
citedby = {0},
journal = {Annals of Pure and Applied Logic},
volume = {28},
number = {3},
pages = {255-286},
}