依存型 (Japanese Wikipedia)

Analysis of information sources in references of the Wikipedia article "依存型" in Japanese language version.

refsWebsite

Global rank Japanese rank

207^th place

1,812^th place

low place

low place

low place

low place

chalmers.se

cse.chalmers.se

Bove, Ana; Peter Dybjer (2008). Dependent Types at Work.

psu.edu

citeseerx.ist.psu.edu

Sørensen, Morten Heine B.; Pawel Urzyczyn (1998). Lectures on the Curry-Howard Isomorphism.

vutbr.cz

fit.vutbr.cz

Peterka, Ondrej (2007). Dependent Types In Lambda Cube.