1
Published 2015
Table of Contents: ... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...
View full text
Electronic eBook