Integration in Real PCF

Abbas Edalat, Martı́n Hötzel Escardó
2000 Information and Computation  
doi:10.1006/inco.1999.2844 fatcat:yde5bytsjbei5bjhlrqqq6no24