  Trace formulas are investigated in non-commutative integration theory. The
main result is to evaluate the standard trace of a Takesaki dual and, for this,
we introduce the notion of interpolator and accompanied boundary objects. The
formula is then applied to explore a variation of Haagerup's trace formula.
