Isomorphisms of types: From [lambda]-calculus to information retrieval and language design
아직 평점이 없습니다
1995
·
영어
·
하드커버