در نهمین جشنواره وب ایران از لیب دی ال حمایت کنید!

این پنجره فقط یک مرتبه به شما نمایش داده می شود. پس همین الان اقدام کنید :)

رای میدهم ♥
×
  • Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013. Proceedings

    Simon Peyton-Jones (auth.) Masahito Hasegawa (eds.)

Click on cover to enlarge.
5 - 6Hours to read