Geuvers, Herman, (1964-)
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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-)
(Electronic resources)
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.
(Electronic resources)