Completions of µ-algebras (2008)

by L Santocanale
Venue:Ann. Pure Appl. Logic