語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

English (1)

Jump To : Overview | Titles | Subjects

Capretta, Venanzio.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: Capretta, Venanzio.; Krebbers, Robbert.; Wiedijk, Freek.; Geuvers, Herman, (1964-); SpringerLink (Online service) (Electronic resources)

Subjects

Computer logic. Applications of Mathematics. Mathematics of Computing. Mathematical Applications in Computer Science. Type theory. Computer Science Logic and Foundations of Programming. Lambda calculus. Computer Science.

Change password

Login