DMCA

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes (2014)

Cached

Download Links

by Ilya Sergey
Citations:3 - 2 self