Types for Proofs and ProgramsPaul Callaghan, Zhaohui Luo, James McKinna, Robert PollackHäftad, 2002544 kr
Types for Proofs and ProgramsPaul Callaghan, Zhaohui Luo, James McKinna, Robert PollackHäftad, 2002544 kr