From foundations to ludics

Girard, J. From foundations to ludics.

Type

Journal article

Intellectual base

Primary research

Link

https://girard.perso.math.cnrs.fr/bsl.pdf

Cited by

1 citation across 1 artifact.

Domain-specific

• Ludics
  • Listed in the references but not attached to a specific claim.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:11e55d493603 · see in the full table