Effective integration of Lie type algebras.

This is a short survey on the recent developments made in the integration theory with effective formulas of algebraic structures stronger or higher than Lie algebras. This article is part of the theme issue 'Derived Lie algebras in geometry and topology'.