Types for Proofs and ProgramsJean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin WernerHäftad, 2006729 kr
Types for Proofs and ProgramsJean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin WernerHäftad, 2006729 kr