Typed Lambda Calculi and Applications, 8 conf., TLCA 2007

GO Typed Lambda Calculi and Applications, 8 conf., TLCA 2007


Author: Simona Ronchi Della Rocca
Type: eBook
Language: English
Released: 2007
Publisher: Springer
Page Count: 405
Format: pdf
ISBN-10: 3540732276
ISBN-13: 9783540732273
Tags:Typed Lambda Calculi and Applications, 8 conf., TLCA 2007, tutorials, pdf, djvu, chm, epub, ebook, book, torrent, downloads, rapidshare, filesonic, hotfile, fileserve


Description: