Analysis of websites containing webdam.inria.fr backlinks

These websites are/were linking to webdam.inria.fr.

Websites found: 1
Number of websited displayed: 1

List of results:

http://site-overview.com/stats/homotopytypetheory.org

This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new interpretation of Martin-Löf's system of intensional, constructive type theory into abstract homotopy theory. Propositional equality is interpreted as homotopy and…

Website Address renewal date: 16/12/23
Domain Address Reg. date: 11/3/13
Website address in use until: 18/3/13