Container (type theory) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Container (type theory)" in English language version.

refsWebsite

Global rank English rank

2^nd place

2^nd place

207^th place

136^th place

1strictlypositive.org

low place

low place

doi.org

Michael Abbott; Thorsten Altenkirch; Neil Ghani (2005). "Containers: Constructing strictly positive types". Theoretical Computer Science. 342 (1): 3–27. CiteSeerX 10.1.1.166.34. doi:10.1016/j.tcs.2005.06.002.

psu.edu

citeseerx.ist.psu.edu

Michael Abbott; Thorsten Altenkirch; Neil Ghani (2005). "Containers: Constructing strictly positive types". Theoretical Computer Science. 342 (1): 3–27. CiteSeerX 10.1.1.166.34. doi:10.1016/j.tcs.2005.06.002.

strictlypositive.org

Thorsten Altenkirch, Neil Ghani, Peter Hancock, Conor McBride, and Peter Morris. "Indexed Containers" (PDF). Unpublished manuscript. Retrieved 2008-10-30. {{cite journal}}: Cite journal requires |journal= (help)CS1 maint: multiple names: authors list (link)