Basic Simple Type Theory

作者: J. Roger Hindley
出版社: Cambridge University Press
出版年: 2008-01-21
页数: 200
定价: 346.00元
装帧: Paperback
丛书: Cambridge Tracts in Theoretical Computer Science
ISBN: 9780521054225