Who Cited It

Linear logic

1987 · Theoretical Computer Science · 4,102 citations · 0 from inside this corpus

Jean-Yves Girard low

No abstract in the source record.

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

Links

DOI · OpenAlex record

Topics

Logic, Reasoning, and KnowledgeComputer Science
Advanced Computational Techniques and ApplicationsComputer Science
Logic, programming, and type systemsComputer Science

Is this record sound?

complete

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

  • supports1 author record(s) attached.
  • supports6 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:46+00:00.

sha256 bba2969b3567609a…