Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur

Girard, J. (1972). Interprétation fonctionnelle et élimination des coupures de l'arithmétique d'ordre supérieur.

Type

Thesis

Intellectual base

Grey literature

Year

1972

Link

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

Cited from

mathematics

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Diagonal Impossibility
  • In type theory, Girard's paradox is the type-theoretic analogue of Russell's, motivating the hierarchy of universes.

    This sourceGirard's paradox, the type-theoretic analogue of Russell's, motivating the hierarchy of universes.

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:0de71050d7f1 · see in the full table