カリー＝ハワード同型対応 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "カリー＝ハワード同型対応" in Japanese language version.

refsWebsite

Global rank Japanese rank

1,564^th place

3,249^th place

2^nd place

6^th place

207^th place

1,812^th place

low place

low place

9,033^rd place

low place

1,902^nd place

151^st place

cmu.edu

cs.cmu.edu

Davies, Rowan; Pfenning, Frank (2001), “A Modal Analysis of Staged Computation”, Journal of the ACM 48 (3): 555–604, doi:10.1145/382780.382785
Pfenning, Frank; Davies, Rowan (2001), “A Judgmental Reconstruction of Modal Logic”, Mathematical Structures in Computer Science 11: 511–540, doi:10.1017/S0960129501003322

doi.org

Davies, Rowan; Pfenning, Frank (2001), “A Modal Analysis of Staged Computation”, Journal of the ACM 48 (3): 555–604, doi:10.1145/382780.382785
Pfenning, Frank; Davies, Rowan (2001), “A Judgmental Reconstruction of Modal Logic”, Mathematical Structures in Computer Science 11: 511–540, doi:10.1017/S0960129501003322

fc2.com

komoriyuichi.web.fc2.com

Komori, Yuichi; Cho, Arato (2010), λρ-calculus, p. 11

psu.edu

citeseerx.ist.psu.edu

Sørenson, Morten; Urzyczyn, Paweł, Lectures on the Curry-Howard Isomorphism

uottawa.ca

site.uottawa.ca

F. Binard and A. Felty, "Genetic programming with polymorphic types and higher-order functions." In Proceedings of the 10th annual conference on Genetic and evolutionary computation, pages 1187 1194, 2008.[1]

vuw.ac.nz

homepages.mcs.vuw.ac.nz

Goldblatt, “7.6 Grothendieck Topology as Intuitionistic Modality”, Mathematical Modal Logic: A Model of its Evolution, pp. 76–81