کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662870 1345201 2014 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Stochastic λ-calculi: An extended abstract
ترجمه فارسی عنوان
حساب انتگرال λ تصادفی: انتزاع گسترده
کلمات کلیدی
حساب انتگرال λ . نظریه بازگشتی؛ اپراتورهای شمارش؛ محاسبه احتمالاتی
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

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
نویسندگان
,