Computing with In nite Objects (1980)

by E Wiedmer
Venue:Theoretical Computer Science