Types for Proofs and Programs

Types for Proofs and Programs

Types for Proofs and Programs
2006ISBN 9783540314288
Viršelis: MinkštasAnglų k.