Integration in real PCF (1996)

by Abbas Edalat , Martín Hötzel Escardó
Venue:Information and Computation
Citations:8 - 4 self