Login / Signup

A formal approximation theory of semantic data types.

Takayasu Ito
Published in: International Sympoisum on Theoretical Programming (1972)
Keyphrases