Barendregt, H. P.

概要

作品:	1 作品在 0 項出版品 0 種語言

書目資訊

Lambda calculus with types / by: Barendregt, H. P.; Dekkers, Wil.; Statman, Richard. (書目-語言資料,印刷品)

主題

Lambda calculus.