Skip to content

On the Constructive Dedekind Reals: Extended Abstract.

Robert S. Lubarsky, Michael Rathjen

Year2007
ProceedingsLFCS

Browse the full LFCS paper archive.