Abderrahmane Feliachi
Lecture Notes in Computer Science · 2012
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Whom Abderrahmane Feliachi trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Abderrahmane Feliachi's perspective
Ordered by how strongly the researchers Abderrahmane Feliachi trusts endorse each paper. Same corpus, a different order for every researcher.
- A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
- The origins of structural operational semantics (J. Log. Algebraic Methods Program.)
- Algebraic Operations and Generic Effects (Applied Categorical Structures)
- Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
- BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
Their papers
- Unifying Theories of Programming (2012) — 353 citations