1
Được phát hành 2015
Mục lục: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
lấy văn bản
Điện tử eBook