Giuseppe Longo, P. Scott. New programs and open problems in the foundation of mathematics. Bulletin of Symbolic Logic, 9(2):129-130, 2003. [doi]
@article{LongoS03,
title = {New programs and open problems in the foundation of mathematics},
author = {Giuseppe Longo and P. Scott},
year = {2003},
url = {http://www.math.ucla.edu/~asl/bsl/0902/0902-001.ps},
tags = {source-to-source, open-source},
researchr = {https://researchr.org/publication/LongoS03},
cites = {0},
citedby = {0},
journal = {Bulletin of Symbolic Logic},
volume = {9},
number = {2},
pages = {129-130},
}