Iteration 2-theories

Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

The axioms of iteration 2-theories capture 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.

Original languageEnglish
Title of host publicationAlgebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings
EditorsMichael Johnson
PublisherSpringer Verlag
Pages30-44
Number of pages15
ISBN (Print)3540638881, 9783540638889
DOIs
Publication statusPublished - 1997
Event6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 - Sydney, Australia
Duration: Dec 13 1997Dec 17 1997

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1349
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other6th International Algebraic Methodology and Software Technology Conference, AMAST 1997
CountryAustralia
CitySydney
Period12/13/9712/17/97

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Iteration 2-theories'. Together they form a unique fingerprint.

  • Cite this

    Bloom, S. L., Ésik, Z., Labella, A., & Manes, E. G. (1997). Iteration 2-theories. In M. Johnson (Ed.), Algebraic Methodology and Software Technology - 6th International Conference, AMAST 1997, Proceedings (pp. 30-44). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1349). Springer Verlag. https://doi.org/10.1007/bfb0000461