Are Homomorphisms Sufficient for Behavioural Implementations of Deterministic and Nondeterministic Data Types?

Tobias Nipkow

Browse the full STACS paper archive.