کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662870 | 1345201 | 2014 | 8 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Stochastic λ-calculi: An extended abstract
ترجمه فارسی عنوان
حساب انتگرال λ تصادفی: انتزاع گسترده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
حساب انتگرال λ . نظریه بازگشتی؛ اپراتورهای شمارش؛ محاسبه احتمالاتی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
It is shown how the operators in the “graph model” for λ-calculus (which can function as a programming language for Recursive Function Theory) can be expanded to allow for “random combinators”. The result then is a model for a new language for random algorithms.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 3, September 2014, Pages 369–376
Journal: Journal of Applied Logic - Volume 12, Issue 3, September 2014, Pages 369–376
نویسندگان
Dana S. Scott,