Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012

@inproceedings{Golas2012ProceedingsSA,
  title={Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012},
  author={Ulrike Golas and T. Soboll},
  booktitle={ACCAT},
  year={2012}
}
  • Ulrike Golas, T. Soboll
  • Published in ACCAT 2012
  • Computer Science
  • Category Theory is a well-known powerful mathematical modeling language with a wide area of applications in mathematics and computer science, including especially the semantical foundations of topics in software science and development. Categorical methods are already well established for the semantical foundation of type theory (cartesian closed categories), data type specification frameworks (institutions) and graph transformation (adhesive high level replacement categories). It is the… CONTINUE READING