Computing with Infinite Objects (1980)

by Edwin Wiedmer
Venue:Theoretical Computer Science