A Co-inductive Approach to Real Numbers
CIAFFAGLIONE, Alberto
•
DI GIANANTONIO, Pietro
2000
Periodico
LECTURE NOTES IN COMPUTER SCIENCE
Archivio
Diritti
closed access