Types for Proofs and Programsde Paul Callaghan, Zhaohui Luo, James McKinnaEdiciones (1)Types for Proofs and Programs (2014)Springer · ISBN 9783662194775Más obras de Paul CallaghanMMemories from the farmyardMemories from the farmyard
