Who Cited It

Notions of computation and monads

1991 · Information and Computation · 1,718 citations · 0 from inside this corpus

Eugenio Moggi

No abstract in the source record.

this paper works it cites works citing it node size = global citations · hover for the full title

Topics

Logic, programming, and type systemsComputer Science
Logic, Reasoning, and KnowledgeComputer Science
Formal Methods in VerificationComputer Science

Is this record sound?

complete

Nothing in this record contradicts itself and no field we check is missing.

  • supports1 author record(s) attached.
  • supports52 reference(s) recorded.
  • neutralThe DOI carries no year to check against.
  • supportsA title is present.

Provenance

Everything above was read from one stored OpenAlex payload, fetched 2026-09-04T03:58:53+00:00.

sha256 db1645b78a57e29a…