![](/img/cover-not-exists.png)
Computer Theorem Proving and HoTT
Leslie-Hurd, Joe, Haworth, G.McC.Volume:
36
Language:
english
Journal:
ICGA Journal
DOI:
10.3233/ICG-2013-36204
Date:
June, 2013
File:
PDF, 190 KB
english, 2013