Workshop on the best known method for "infinite precision" real arithmetic and its connection with the construction of the reals as a co-inductive type.
Monday, November 26, 2001 - 4:31pm
U Penn
Workshop on the best known method for "infinite precision" real arithmetic and its connection with the construction of the reals as a co-inductive type.