From A-infinity algebras to bocses via Koszul duality

Date: