Login / Signup

Computing with continuous objects: a uniform co-inductive approach.

Dieter Spreen
Published in: Math. Struct. Comput. Sci. (2021)
Keyphrases