Sciweavers

MLQ
2008
54views more  MLQ 2008»
14 years 12 days ago
A localic theory of lower and upper integrals
An account of lower and upper integration is given. It is constructive in the sense of geometric logic. If the integrand takes its values in the nonnegative lower reals, then its ...
Steven Vickers