OCHA and Leibniz Pairs, towards a Koszul duality
  In this paper we study the homology of 2 versions of the swiss-cheese operad. We prove that the zeroth homology of these two versions are Koszul operads and relate this to strong homotopy Lebiniz pairs and OCHA, defined by Kajiura and Stasheff. 
Muriel Livernet and Eduardo Hoefel
math.RA math.AT math.QA