PCF extended with real numbers (1996)

by Martín Hötzel Escardó