دانلود کتاب Typed Lambda Calculi and Applications: 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings
by Frank Pfenning (auth.)
|
عنوان فارسی: تایپ لامبدا سنگ و برنامه های کاربردی: 8 کنفرانس بین المللی، TLCA 2007، پاریس، فرانسه، ژوئن 26-28، 2007. مجموعه مقالات |