Hugo Herbelin
On the Degeneracy of Σ-Types in Presence of Computational Classical Logic
TLCA, 2005.
@inproceedings{TLCA-2005-Herbelin, author = "Hugo Herbelin", booktitle = "{Proceedings of the Seventh International Conference on Typed Lambda Calculi and Applications}", doi = "10.1007/11417170_16", isbn = "3-540-25593-1", pages = "209--220", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On the Degeneracy of Σ-Types in Presence of Computational Classical Logic}", volume = 3461, year = 2005, }