Computing with infinite objects (1980)

by Erwin Wiedmer
Venue:Theoretical Computer Science