Login / Signup

An Approach to Object Semantics based on Terminal Co-Algebras.

Horst Reichel
Published in: Math. Struct. Comput. Sci. (1995)
Keyphrases