Types for Proofs and ProgramsPaul Callaghan, Zhaohui Luo, James McKinna, Robert PollackHäftad, 2002544 kr
Types for Proofs and ProgramsRobert Pollack, James McKinna, Zhaohui Luo, Paul Callaghan E-bok2003687 kr
Types for Proofs and ProgramsRobert Pollack, James McKinna, Zhaohui Luo, Paul Callaghan E-bok2003687 kr