Peirce's law (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Peirce's law" in English language version.

refsWebsite

Global rank English rank

207^th place

136^th place

psu.edu

citeseerx.ist.psu.edu

Timothy G. Griffin, A Formulae-as-Types Notion of Control, 1990 - Griffin defines K on page 3 as an equivalent to Scheme's call/cc and then discusses its type being the equivalent of Peirce's law at the end of section 5 on page 9.