Geuvers, Herman, (1964-)
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Types for proofs and programsinternational workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers /
by:
(1998 :); Geuvers, Herman, (1964-); SpringerLink (Online service); Wiedijk, Freek, (1961-)
(書目-電子資源)
Logics and type systems in theory and practiceessays dedicated to Herman Geuvers on the occasion of his 60th birthday /
by:
Capretta, Venanzio.; Geuvers, Herman, (1964-); Krebbers, Robbert.; SpringerLink (Online service); Wiedijk, Freek.
(書目-電子資源)