The Iris 2.0 Documentation August 24, 2016 Contents 1 Algebraic Structures 1.1 COFE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

First Page		Document Content
Date: 2016-08-24 11:28:43		The Iris 2.0 Documentation August 24, 2016 Contents 1 Algebraic Structures 1.1 COFE . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Add to Reading List Source URL: plv.mpi-sws.org Download Document from Source Website File Size: 473,46 KB Share Document on Facebook