Open AccessProceedings Article
Additive domains
Ernest G. Manes
- pp 184-195
About:
This article is published in International Conference on Mathematical Foundations of Programming Semantics.The article was published on 1986-10-01 and is currently open access. It has received 8 citations till now.read more
Citations
More filters
Book ChapterDOI
The Shuffle Bialgebra
TL;DR: This work analyzes the marked shuffle, of interest in theories of distributed computing, in terms of its resolutions into the cofree shuffle-cut bialgebra.
Book ChapterDOI
Contextual information systems
TL;DR: The aim is to introduce contexts as abstract mathematical entities in a more general framework which includes context-sensitivity, namely knowledge represented by contextual information systems.
References
More filters
Journal ArticleDOI
An axiomatic basis for computer programming
TL;DR: An attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics.
Journal ArticleDOI
Algebraic specification of data types: A synthetic approach
Daniel Lehmann,Michael B. Smyth +1 more
TL;DR: The present work adds operations to the data types proposed by Scott and proposes an alternative to the equational specifications proposed by Guttag, Guttag and Horning and ADJ.
Journal ArticleDOI
Partially additive categories and flow-diagram semantics☆
Michael A. Arbib,Ernest G. Manes +1 more
TL;DR: It is shown that partially additive categories support a notion of iteration; and then axiomatize iteration in a fashion which yields other approaches as a special case.