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