Bar recursion (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Bar recursion" in English language version.

refsWebsite

Global rank English rank

6,934^th place

4,192^nd place

179^th place

183^rd place

bham.ac.uk (Global: 6,934^th place; English: 4,192^nd place)

cs.bham.ac.uk

Martín Escardó; Paulo Oliva. "Selection functions, Bar recursion, and Backwards Induction" (PDF). Math. Struct. in Comp.Science.

stanford.edu (Global: 179^th place; English: 183^rd place)

math.stanford.edu

Jeremy Avigad; Solomon Feferman (1999). "VI: Gödel's functional ("Dialectica") interpretation". In S. R. Buss (ed.). Handbook of Proof Theory (PDF).