Closed bicategories and variable category theory - Betti, Renato (1985)