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

J.-Y. Girard, Université Paris 7 — 1972

Links

URL

Abstract

Theory and Implementation of Rocq