Computing with Semirings and Weak Rig Groupoids.

Jacques Carette, Amr Sabry

Browse the full ESOP paper archive.