Ernie Manes

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

2018

Near Distributive Laws.

[BibT_eX]

[DOI]

Philip S. Mulry

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2009

Boolean and classical restriction categories.

[BibT_eX]

[DOI]

J. Robin B. Cockett

Math. Struct. Comput. Sci., 2009

2008

Monad compositions II: Kleisli strength.

[BibT_eX]

[DOI]

Philip S. Mulry

Math. Struct. Comput. Sci., 2008

2007

Taut Monads, Dynamic Logic and Determinism.

[BibT_eX]

[DOI]

Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

2006

Boolean restriction categories and taut monads.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

2002

Taut Monads and T0-spaces.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2002

2001

Iteration 2-theories.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2001

1998

Implementing Collection Classes with Monads.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 1998

1997

Iteration 2-Theories: Extended Abstract.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 1997

1993

The Equational Theory of a Boolean Monad.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 9th International Symposium, 1993

1992

Predicate transformer semantics.

[BibT_eX]

Cambridge tracts in theoretical computer science 33, Cambridge University Press, ISBN: 978-0-521-42036-5, 1992

1991

Equations for if-then-else.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

1990

A Transformational Characterization of <i>if-then-else</i>.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1990

1988

Monads, Matrices and Generalized Dynamic Algebra.

[BibT_eX]

[DOI]

Proceedings of the Categorial Methods in Computer Science: With Aspects from Topology [Workshop, 1988

1987

Assertional Categories.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1986

Algebraic Approaches to Program Ssemantics.

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-4962-7, 1986

1985

Additive Domains.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Programming Semantics, 1985

Weakest Preconditions: Categorical Insights.

[BibT_eX]

[DOI]

Proceedings of the Category Theory and Computer Programming, 1985

1983

Port Automata and the Algebra of Concurrent Processes.

[BibT_eX]

[DOI]

Martha Steenstrup

J. Comput. Syst. Sci., 1983

1982

Parametrized Data Types Do Not Need Highly Constrained Parameters

[BibT_eX]

[DOI]

Inf. Control., February, 1982

The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions.

[BibT_eX]

[DOI]

J. ACM, 1982

1980

Foundations of System Theory: The Hankel Matrix.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1980

1979

Intertwined Recursion, Tree Transformations, and Linear Systems

[BibT_eX]

[DOI]

Inf. Control., February, 1979

Partially-additive semantics: A progress report.

[BibT_eX]

Proceedings of the Fundamentals of Computation Theory, 1979

1978

Tree transformations and the semantics of loop-free programs.

[BibT_eX]

[DOI]

Acta Cybern., 1978

Partially-Additive Monoids, Graph-Growing, and the Algebraic Semantics of Recursive Calls.

[BibT_eX]

[DOI]

Proceedings of the Graph-Grammars and Their Application to Computer Science and Biology, 1978

1977

On the Point Transitivity of Symbolic Flows.

[BibT_eX]

[DOI]

Math. Syst. Theory, 1977

Efficient State-Splitting.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Computation Theory, 1977

1974

Foundations of system theory: Decomposable systems.

[BibT_eX]

[DOI]

Autom., 1974

Time-varying systems.

[BibT_eX]

[DOI]

Proceedings of the Category Theory Applied to Computation and Control, 1974

Fuzzy morphism in automata theory.

[BibT_eX]

[DOI]

Proceedings of the Category Theory Applied to Computation and Control, 1974

A categorist's view of automata and systems.

[BibT_eX]

[DOI]

Proceedings of the Category Theory Applied to Computation and Control, 1974

Basic concepts of category theory applicable to computation and control.

[BibT_eX]

[DOI]

Proceedings of the Category Theory Applied to Computation and Control, 1974

Realization of multilinear and multidcomposable machines.

[BibT_eX]

[DOI]

Brian D. O. Anderson