System U (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "System U" in English language version.

refsWebsite

Global rank English rank

1,564^th place

1,028^th place

2^nd place

2^nd place

cmu.edu

cs.cmu.edu

Girard, Jean-Yves (1972). "Interprétation fonctionnelle et Élimination des coupures de l'arithmétique d'ordre supérieur" (PDF).

doi.org

Sørensen, Morten Heine; Urzyczyn, Paweł (2006). "Pure type systems and the lambda cube". Lectures on the Curry–Howard isomorphism. Elsevier. doi:10.1016/S0049-237X(06)80015-7. ISBN 0-444-52077-5.