@INPROCEEDINGS {4850,
author={J.C. Cederquist and   and  },
booktitle={Twenty-five years of Constructive Type Theory},
title={The Hahn-Banach Theorem in Type Theory},
year={1998},
month={July},
volume={00},
pages={57-72} 
}
Create and download bib file