Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
Harold Simmons种类:
年:
2000
出版社:
Cambridge University Press
语言:
english
页:
410
ISBN 10:
0521771730
ISBN 13:
9780521771733
系列:
Cambridge Tracts in Theoretical Computer Science
文件:
PDF, 12.45 MB
IPFS:
,
english, 2000