Paper: A Constructive Proof of Dependent Choice, Compatible with Classical Logic (at LICS 2012)
Authors: Hugo Herbelin
Abstract
No Abstract Available
BibTeX
@InProceedings{Herbelin-AConstructiveProofo, author = {Hugo Herbelin}, title = {A Constructive Proof of Dependent Choice, Compatible with Classical Logic}, booktitle = {Proceedings of the Twenty-Seventh Annual IEEE Symposium on Logic in Computer Science (LICS 2012)}, year = {2012}, month = {June}, pages = {365--374}, location = {Dubrovnik, Croatia}, publisher = {IEEE Computer Society Press} }