Théorie des types (French Wikipedia)

Analysis of information sources in references of the Wikipedia article "Théorie des types" in French language version.

refsWebsite

Global rank French rank

26^th place

110^th place

low place

low place

451^st place

1,058^th place

ams.org

(en) Álvaro Pelayo et Michael A. Warren, « Homotopy type theory and Voevodsky's univalent foundations », Bull. Amer. Math. Soc., vol. 51,‎ 2014, p. 597-648 (lire en ligne).

jstor.org

(en) Alonzo Church, « A formulation of the simple theory of types », J. Symb. Logic, vol. 5, n^o 2,‎ 1940, p. 56-68 (JSTOR 2266170).

leanpub.com

(en) Boro Sitnikovski, Gentle Introduction to Dependent Types with Idris, Lean Publishing, 2018 (lire en ligne)