Capretta, Venanzio.
Overview
Works: | 1 works in 1 publications in 1 languages |
---|
Titles
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)