DMCA

HoTT formalisation in Coq: Dependency Graphs (2014)

Cached

Download Links

by Ekaterina Komendantskaya