50267EEC-909D-400E-9FC5-96126B2FF5D6Homotopical inductive typesResearch GrantEP/K023128/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL28381395F463AF-EF7D-485D-B9CE-A601D3FFB56DOn operads, bimodules and analytic functorsarXiv e-prints9f3b675550c358f8200b43301404c9deGambino Nicola2014-01-01http://dx.doi.org/10.48550/arxiv.1405.7270http://arxiv.org/abs/1405.7270Journal Article/Review546280dfbae544.56981414