Matthew Burke. A Synthetic Version of Lie's Second Theorem. Applied Categorical Structures, 26(4):767-798, 2018. [doi]
@article{Burke18-0,
title = {A Synthetic Version of Lie's Second Theorem},
author = {Matthew Burke},
year = {2018},
doi = {10.1007/s10485-018-9518-2},
url = {https://doi.org/10.1007/s10485-018-9518-2},
researchr = {https://researchr.org/publication/Burke18-0},
cites = {0},
citedby = {0},
journal = {Applied Categorical Structures},
volume = {26},
number = {4},
pages = {767-798},
}