MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Equational Lifting Monads." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

Equational lifting monads
by Anna Bucalo, Carsten Führmann, Alex Simpson — 1999 — Proceedings CTCS '99, Electronic Notes in Computer Science
…Abstract Equational Lifting Monads Anna Bucalo 1 Carsten Führmann 2 Alex Simpson 3 LFCS, Division…
Cited by 3 (2 self) – Add To MetaCart

An Equational Notion of Lifting Monad
by Anna Bucalo, Carsten Führmann, Alex Simpson — 2003 — TITLE WILL BE SET BY THE PUBLISHER
…An Equational Notion of Lifting Monad # Anna Bucalo Dipartimento di Matematica e Informatica…
Cited by 2 (0 self) – Add To MetaCart

Complete Axioms for Categorical Fixed-point Operators
by Alex Simpson, Gordon Plotkin — 2000 — In Proceedings of 15th Annual Symposium on Logic in Computer Science
… parameterized natural numbers object and an equational lifting monad, any uniform fixed-point operator…
Cited by 19 (5 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB