Cartesian Monoids

Authors:
Rick Statman
Affiliations:
Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, PA 15213, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 5
Cited 0

Introduction to higher order categorical logic

Introduction to higher order categorical logic
Theory of recursive functions and effective computability

Theory of recursive functions and effective computability
Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs

Communications of the ACM
Categorical Combinators, Sequential Algorithms and Funtional Programming

Categorical Combinators, Sequential Algorithms and Funtional Programming
On Cartesian Monoids

CSL '96 Selected Papers from the10th International Workshop on Computer Science Logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Cartesian monoid of partial piecewise shift operators is developed as a model for programming systems such as Backus' FP. Special attention is paid to those elements which are equationally implicitly definable.