## Hugo Herbelin

*A Constructive Proof of Dependent Choice, Compatible with Classical Logic*

LICS, 2012.

@inproceedings{LICS-2012-Herbelin, author = "Hugo Herbelin", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.47", isbn = "978-1-4673-2263-8", pages = "365--374", publisher = "{IEEE Computer Society}", title = "{A Constructive Proof of Dependent Choice, Compatible with Classical Logic}", year = 2012, }