Typed Lambda Calculi and Applications

Format:: e-book
Title:: Typed Lambda Calculi and Applications
Author:: Kanade, Takeo; Kittler, Josef
Language:: English
Publisher:: Springer Berlin / Heidelberg 2005
ISBN:: 3-540-25593-1
3-540-32014-8
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000212916?locale=en