|
|||||
|
|
Iteration 2-theories |
|
| Authors: | S L Bloom Z Ésik A Labella E G Manes |
| Institution: | 1. Dept. of Computer Science, Stevens Institute of Technology, Hoboken, NJ, 07030, USA 2. Dept. of Computer Science, A. József University, 6720 Szeged, árpád tér 2, Hungary 3. Dept. of Computer Science, University of Rome “La Sapienza”, Via Salaria 113, 00198, Rome, Italy 4. Dept. of Mathematics, University of Massachusetts, Amherst, MA, 01003, USA |
| Abstract: | The axioms of iteration 2-theories capture, up to isomorphism, the equational properties of iteration in conjunction with horizontal and vertical composition in all algebraically complete categories. We give a concrete representation of the free iteration 2-theory generated by a 2-signature. |
| Keywords: | algebraic theories iteration theories 2-categories initiality fixed point operation equational logic rewriting |
| 本文献已被 SpringerLink 等数据库收录！ | |