Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard StatmanKategorie:
Rok:
2013
Wydawnictwo:
Cambridge University Press
Język:
english
Strony:
855
ISBN 10:
1139032631
ISBN 13:
9781139032636
Serie:
Perspectives in Logic
Plik:
PDF, 6.78 MB
IPFS:
,
english, 2013