Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets. - Musa Al-hassy; Wolfram Kahl (RAMiCS, 2015)

A language feature to unbundle data at will (short paper). - Musa Al-hassy; Jacques Carette; Wolfram Kahl (GPCE, 2019)