Hans Leiß. On Equality of Contexts and Completeness of the Indexed epsilon-Calculus. FLAP, 4(2), 2017. [doi]
@article{Leiss17-0, title = {On Equality of Contexts and Completeness of the Indexed epsilon-Calculus}, author = {Hans Leiß}, year = {2017}, url = {http://www.collegepublications.co.uk/downloads/ifcolog00011.pdf}, researchr = {https://researchr.org/publication/Leiss17-0}, cites = {0}, citedby = {0}, journal = {FLAP}, volume = {4}, number = {2}, }