Computation and Reasoning
A Type Theory for Computer Science
Автор:
Zhaohui Luo
Наличност:
Външен склад
Изпращаме след 10-18 дни
89.51
€
175.06 лв
The book develops a type theory, studies its properties, and explains its uses in applications to co...
