Lambda Calculus with Types
Henk Barendregt, Wil Dekkers, Richard StatmanKategorien:
Jahr:
2013
Verlag:
Cambridge University Press
Sprache:
english
Seiten:
855
ISBN 10:
1139032631
ISBN 13:
9781139032636
Serien:
Perspectives in Logic
Datei:
PDF, 6.78 MB
IPFS:
,
english, 2013