Interval-valued computation