Computation and Reasoning A Type Theory for Computer Science

出版社

Oxford University Press Inc.

出版时间

1994

ISBN

0198538359

标注页数

228 页

PDF页数

239 页