On the public citation graph

Order completion monads

https://doi.org/10.1007/bf01191754
0 signed · 62 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-07854-1_198openalex-snapshot
Schemes with recursion on higher types
inferredcites →https://doi.org/10.1007/3-540-08442-8_96openalex-snapshot
On Order-Complete Universal Algebra and Enriched Functorial Semantics
inferredcites →https://doi.org/10.1007/3-540-08860-1_33openalex-snapshot
Admissible coherent c.p.o.'s
inferredcites →https://doi.org/10.1007/3-540-08921-7_53openalex-snapshot
The algebraic semantics of recursive program schemes
inferredcites →https://doi.org/10.1007/3-540-09118-1_16openalex-snapshot
On continuous completions
inferredcites →https://doi.org/10.1007/978-1-4612-9839-7openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-1-4612-9860-1openalex-snapshot
Algebraic Theories
inferredcites →https://doi.org/10.1007/978-3-642-99902-4_22openalex-snapshot
Closed Categories
inferredcites →https://doi.org/10.1007/bf01214522openalex-snapshot
Doctrines on 2-categories
inferredcites →https://doi.org/10.1007/bf02485815openalex-snapshot
Chain-complete posets and directed sets with applications
inferredcites →https://doi.org/10.1007/bfb0059146openalex-snapshot
Enriched functor categories
inferredcites →https://doi.org/10.1007/bfb0059703openalex-snapshot
The lattice of flow diagrams
inferredcites →https://doi.org/10.1007/bfb0060485openalex-snapshot
Kan extensions in Enriched Category Theory
inferredcites →https://doi.org/10.1007/bfb0063102openalex-snapshot
Fibrations and Yoneda's lemma in a 2-category
inferredcites →https://doi.org/10.1007/bfb0073967openalex-snapshot
Continuous lattices
inferredcites →https://doi.org/10.1007/bfb0079432openalex-snapshot
Data types as lattices
inferredcites →https://doi.org/10.1007/bfb0083082openalex-snapshot
Coequalizers in categories of algebras
inferredcites →https://doi.org/10.1007/bfb0083085openalex-snapshot
Ordinal sums and equational doctrines
inferredcites →https://doi.org/10.1016/0021-8693(74)90095-7openalex-snapshot
Free monoids
inferredcites →https://doi.org/10.1016/0022-0000(78)90006-5openalex-snapshot
Tω as a Universal Domain
inferredcites →https://doi.org/10.1016/0022-0000(80)90038-0openalex-snapshot
On the algebra of order
inferredcites →https://doi.org/10.1016/0022-4049(80)90106-1openalex-snapshot
Varieties of chain-complete algebras
inferredcites →https://doi.org/10.1016/0304-3975(76)90029-3openalex-snapshot
Computability concepts for programming language semantics
inferredcites →https://doi.org/10.1016/0304-3975(77)90031-7openalex-snapshot
Categories of chain-complete posets
inferredcites →https://doi.org/10.1016/0304-3975(78)90040-3openalex-snapshot
A uniform approach to inductive posets and inductive closure
inferredcites →https://doi.org/10.1017/s1446788700010272openalex-snapshot
Closed categories generated by commutative monads
inferredcites →https://doi.org/10.1073/pnas.50.5.869openalex-snapshot
FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
inferredcites →https://doi.org/10.1109/sfcs.1976.3openalex-snapshot
Algebraic families of interpretations
inferredcites →https://doi.org/10.1109/sfcs.1977.10openalex-snapshot
Data types
inferredcites →https://doi.org/10.1109/sfcs.1978.28openalex-snapshot
On the algebra of order extended abstract
inferredcites →https://doi.org/10.1109/swat.1974.13openalex-snapshot
Initial algebra semantics
inferredcites →https://doi.org/10.1112/blms/7.3.294openalex-snapshot
Adjoint Lifting Theorems for Categories of Algebras
inferredcites →https://doi.org/10.1137/0205037openalex-snapshot
Data Types as Lattices
inferredcites →https://doi.org/10.1145/321992.321997openalex-snapshot
Initial Algebra Semantics and Continuous Algebras
inferredcites →https://doi.org/10.1147/rd.202.0138openalex-snapshot
Bases for Chain-complete Posets
inferredcites →https://doi.org/10.1215/ijm/1256068141openalex-snapshot
Adjoint functors and triples
inferredcites →https://doi.org/10.3233/fi-1980-3109openalex-snapshot
Completions of ordered magmas

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/3-540-11494-7_21openalex-snapshot
On effective computations of non-deterministic schemes
inferred← citeshttps://doi.org/10.1007/3-540-16816-8_41openalex-snapshot
Union complete countable subset systems
inferred← citeshttps://doi.org/10.1007/978-3-319-23165-5_1openalex-snapshot
José Meseguer: Scientist and Friend Extraordinaire
inferred← citeshttps://doi.org/10.1007/978-3-319-23165-5_23openalex-snapshot
A Denotational Semantic Theory of Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-94-017-0697-1_3openalex-snapshot
Algebraic Ordered Sets and Their Generalizations
inferred← citeshttps://doi.org/10.1007/bf00334857openalex-snapshot
Posets isomorphic to their extensions
inferred← citeshttps://doi.org/10.1007/bf00383404openalex-snapshot
Bigeneration in complete lattices and principal separation in ordered sets
inferred← citeshttps://doi.org/10.1007/bf02573168openalex-snapshot
Completions for partially ordered semigroups
inferred← citeshttps://doi.org/10.1007/bfb0036489openalex-snapshot
On algebras of computation sequences and proofs of equivalence of operational and denotational semantics
inferred← citeshttps://doi.org/10.1007/s00012-005-1939-8openalex-snapshot
Categories of partial frames
inferred← citeshttps://doi.org/10.1007/s00233-023-10348-zopenalex-snapshot
A class of join-completions of partially ordered semigroups
inferred← citeshttps://doi.org/10.1016/0022-4049(80)90106-1openalex-snapshot
Varieties of chain-complete algebras
inferred← citeshttps://doi.org/10.1016/0022-4049(86)90113-1openalex-snapshot
On P-dominions of continuous algebras
inferred← citeshttps://doi.org/10.1016/0022-4049(90)90156-copenalex-snapshot
An algebraic approach to stable domains
inferred← citeshttps://doi.org/10.1016/0022-4049(94)00111-uopenalex-snapshot
Monads for which structures are adjoint to units
inferred← citeshttps://doi.org/10.1016/0304-3975(92)90302-vopenalex-snapshot
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
inferred← citeshttps://doi.org/10.1016/b978-0-444-88074-1.50017-2openalex-snapshot
Semantic Domains
inferred← citeshttps://doi.org/10.1016/j.fss.2011.12.011openalex-snapshot
Join-completions of L-ordered sets
inferred← citeshttps://doi.org/10.1023/a:1008657800278openalex-snapshot
Z-Continuous Posets and Their Topological Manifestation
inferred← citeshttps://doi.org/10.1023/a:1008758815245openalex-snapshot
Z-Join Spectra of Z-Supercompactly Generated Lattices
inferred← citeshttps://doi.org/10.1080/16073606.1986.9632112openalex-snapshot
ORDER EXTENSIONS AS ADJOINT FUNCTORS
inferred← citeshttps://doi.org/10.1145/248621.248623openalex-snapshot
Algebraic approaches to nondeterminism—an overview
inferred← citeshttps://doi.org/10.1145/75277.75297openalex-snapshot
Relating models of polymorphism
inferred← citeshttps://doi.org/10.21136/mb.2013.143437openalex-snapshot
$\mathcal Z$-distributive function lattices
inferred← citeshttps://doi.org/10.7146/brics.v2i20.19922openalex-snapshot
The Constructive Lift Monad
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.