[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 9034 ||
Pitts, AndrewVolume:
10.1007/97
Year:
2015
Language:
english
DOI:
10.1007/978-3-662-46678-0
File:
PDF, 9.60 MB
english, 2015