Integration in real PCF (1996)

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