Typed Lambda Calculi and Applications (e-bog) af -
Girard, Jean-Yves (redaktør)

Typed Lambda Calculi and Applications e-bog

436,85 DKK (inkl. moms 546,06 DKK)
E-bog 436,85 DKK
Forfattere Girard, Jean-Yves (redaktør)
Forlag Springer
Udgivet 31 juli 2003
Genrer PBC
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540489597