lambdb
محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات
دانلود کتاب Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications TLCA ’93 March, 16–18, 1993, Utrecht, The Netherlands Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Marc Bezem – Jan Friso Groote (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: کنفرانس بین المللی محاسبات و کاربردهای لامبدا تایپ شده TLCA ’93 مارس 16-18، 1993، اوترخت، هلند مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg…
محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات
دانلود کتاب Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ’95 Edinburgh, United Kingdom, April 10–12, 1995 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات) نوشته شده توسط «Andrea Asperti – Cosimo Laneve (auth.) – Mariangiola Dezani-Ciancaglini – Gordon Plotkin (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: دومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا، TLCA ’95 ادینبورگ، بریتانیا، 10–12 آوریل، 1995 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب…
محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات
دانلود کتاب Typed Lambda Calculi and Applications: Third International Conference on Typed Lambda Calculi and Applications TLCA ’97 Nancy, France, April 2–4, 1997 Proceedings (به فارسی: محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات) نوشته شده توسط «Yohji Akama (auth.) – Philippe de Groote – J. Roger Hindley (eds.)» اطلاعات کتاب محاسبات و کاربردهای تایپ شده لامبدا: سومین کنفرانس بین المللی محاسبات و کاربردهای تایپ شده لامبدا TLCA ’97 نانسی، فرانسه، 2 تا 4 آوریل 1997 مجموعه مقالات موضوع اصلی: کامپیوترها…