BerardiBezemCoquand:TLCA95 (In proceedings)
|
Author(s) | Stefano Berardi, M. Bezem and T. Coquand |
Title | « A realization of the negative interpretation of the Axiom of Choice » |
In | Proceedings TLCA95, Edinburgh, in: LNCS 902 |
Page(s) | 47-62 |
Year | 1995 |
@inproceedings{BerardiBezemCoquand:TLCA95,
booktitle = {Proceedings TLCA95, Edinburgh, in: LNCS 902},
title = {A realization of the negative interpretation of the Axiom of Choice},
author = {Stefano Berardi and M. Bezem and T. Coquand},
pages = {47-62},
year = {1995},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)