Isomorfismo de Curry-Howard (Portuguese Wikipedia)

Analysis of information sources in references of the Wikipedia article "Isomorfismo de Curry-Howard" in Portuguese language version.

refsWebsite

Global rank Portuguese rank

1,564^th place

2,189^th place

2^nd place

4^th place

low place

207^th place

589^th place

low place

cmu.edu

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

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

Moggi, Eugenio (1991), «Notions of Computation and Monads» (PDF), Information and Computation, 93 (1)

Goldblatt, «7.6 Grothendieck Topology as Intuitionistic Modality», Mathematical Modal Logic: A Model of its Evolution (PDF), pp. 76–81 . The "lax" modality referred to is from Benton; Bierman; de Paiva (1998), «Computational types from a logical perspective», Journal of Functional Programming, 8: 177–193