THIRD INT'L CONF ON THE MATHEMATICS OF PROGRAM ... Church's Thesis on real-valued computation) are encouraged. ... Engeler, ETH, Zurich with collaboration from K.Read more
