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