Marie-Claude Gaudel

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 Marie-Claude Gaudel trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Gordon D. Plotkin

Papers from Marie-Claude Gaudel's perspective

Ordered by how strongly the researchers Marie-Claude Gaudel trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
  2. The origins of structural operational semantics (J. Log. Algebraic Methods Program.)
  3. Algebraic Operations and Generic Effects (Applied Categorical Structures)
  4. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
  5. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)

Their papers