A Categorical Treatment of Ornaments.

Pierre-variste Dagand, Conor McBride

Browse the full LICS paper archive.