4 citations · 6 across the 3 of their papers we have counts for
1 paper · 1 filter
Jan A Bergstra, John V Tucker
We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value ⊥ whose mai…