Fixed-point operations on ccc’s (1996)

by S L Bloom, Z Ésik
Venue:Part I. Theoretical Computer Science