Peter Aczel, Laura Crosilla, Hajime Ishihara, Erik Palmgren, Peter Schuster. Binary Refinement Implies Discrete Exponentiation. Studia Logica, 84(3):361-368, 2006. [doi]
@article{AczelCIPS06,
title = {Binary Refinement Implies Discrete Exponentiation},
author = {Peter Aczel and Laura Crosilla and Hajime Ishihara and Erik Palmgren and Peter Schuster},
year = {2006},
doi = {10.1007/s11225-006-9014-9},
url = {http://dx.doi.org/10.1007/s11225-006-9014-9},
tags = {refinement},
researchr = {https://researchr.org/publication/AczelCIPS06},
cites = {0},
citedby = {0},
journal = {Studia Logica},
volume = {84},
number = {3},
pages = {361-368},
}