Types for Proofs and Programs

副标题: International Conference, Types 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

ISBN: 9783540680840

页数: 220

定价: 59.95