Internal bicategories (2017)

(untitled) - Douglas, C; Henriques, A