International Workshop TYPES 2002,
Types for proofs and programs : selected papers / International Workshop, TYPES 2002 ; eds. Herman Geuvers, Freek Wiedijk
Types for proofs and programs : selected papers / International Workshop, TYPES 2002 ; eds. Herman Geuvers, Freek Wiedijk
. - Berlin : Springer, cop. 2003
. - VIII, 330 p. 24 cm
. - (Lecture notes in computer science; 2646)
3-540-14031-X Brochado
519.6