Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard Statmanカテゴリー:
年:
2013
出版社:
Cambridge University Press
言語:
english
ページ:
855
ISBN 10:
1139032631
ISBN 13:
9781139032636
シリーズ:
Perspectives in Logic
ファイル:
PDF, 6.78 MB
IPFS:
,
english, 2013