Normal view
MARC view
Callaghan, Paul, 1970- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): TYPES 2000 (2000 : Durham, England) 17020, Types for proofs and programs :, ©2002.