Login / Signup

On generalizing free algebras for a functor.

Dion CoumansSamuel J. van Gool
Published in: J. Log. Comput. (2013)
Keyphrases