Algebraic Approaches to Program Semantics

@inproceedings{Manes1986AlgebraicAT,
  title={Algebraic Approaches to Program Semantics},
  author={Ernest G. Manes and Michael A. Arbib},
  booktitle={Texts and Monographs in Computer Science},
  year={1986}
}
Highly Influential
This paper has highly influenced 12 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.
Showing 1-10 of 129 extracted citations

Algebraic Models of Reasoning

View 8 Excerpts
Highly Influenced

A categorical model for the geometry of interaction

Theor. Comput. Sci. • 2006
View 5 Excerpts
Highly Influenced

From Geometry of Interaction to Denotational Semantics

Electr. Notes Theor. Comput. Sci. • 2005
View 4 Excerpts
Highly Influenced

Generic Programming

IFIP — The International Federation for Information Processing • 2003
View 7 Excerpts
Highly Influenced

Iterative algebras at work

Mathematical Structures in Computer Science • 2006
View 2 Excerpts
Highly Influenced

Similar Papers

Loading similar papers…