Pусский
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Полные статьи
Категории
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Ты пишешь
Пользователь
Авторизоваться
Постановка на учет
Восстановление пароля
Теги
Языковые теги
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag lambda-calculus - Это страница 14 - GeneraCodice
Последовательность или передача продолжения в чистом лямбда-исчислении
https://www.generacodice.com/ru/articolo/2478643/последовательность-или-передача-продолжения-в-чистом-лямбда-исчислении
lambda-calculus
cs.stackexchange
Можно ли определить списки особым образом, чтобы они содержали элементы разного типа?
https://www.generacodice.com/ru/articolo/2475569/можно-ли-определить-списки-особым-образом-чтобы-они-содержали-элементы-разного-типа
functional-programming
-
lambda-calculus
-
category-theory
cs.stackexchange
Как понять квантор без предикации «∀(λφ.(φ x m→ φ y))»?
https://www.generacodice.com/ru/articolo/2475553/как-понять-квантор-без-предикации-λφ-φ-x-m-φ-y
lambda-calculus
-
isabelle
-
first-order-logic
-
modal-logic
-
higher-order-logic
cs.stackexchange
Значение и актуальность формулировки "без завершающей реализации" в теории типов
https://www.generacodice.com/ru/articolo/2475441/значение-и-актуальность-формулировки-без-завершающей-реализации-в-теории-типов
functional-programming
-
type-theory
-
lambda-calculus
cs.stackexchange
Преобразование лямбда - исчисления
https://www.generacodice.com/ru/articolo/2474831/преобразование-лямбда-исчисления
python
-
lisp
-
functional-programming
-
haskell
-
lambda-calculus
cs.stackexchange
Пытался вывести Z-комбинатор и вместо этого получил другой
https://www.generacodice.com/ru/articolo/2474408/пытался-вывести-z-комбинатор-и-вместо-этого-получил-другой
lambda-calculus
-
combinatory-logic
cs.stackexchange
Лямбда-исчисление без свободных переменных такое же сильное, как и лямбда-исчисление?
https://www.generacodice.com/ru/articolo/2467257/лямбда-исчисление-без-свободных-переменных-такое-же-сильное-как-и-лямбда-исчисление
lambda-calculus
-
proof-techniques
-
turing-completeness
cs.stackexchange
сокращение лямбда - исчисления:(((лямбда f (лямбда x (f x))) (лямбда y (* y y))) 12)
https://www.generacodice.com/ru/articolo/2455935/сокращение-лямбда-исчисления-лямбда-f-лямбда-x-f-x-лямбда-y-y-y-12
lambda-calculus
cs.stackexchange
Снижение выражения лямбда
https://www.generacodice.com/ru/articolo/2455712/снижение-выражения-лямбда
functional-programming
-
lambda-calculus
-
encoding-scheme
cs.stackexchange
Прекращение z Combinator с Call-значением
https://www.generacodice.com/ru/articolo/2453760/прекращение-z-combinator-с-call-значением
fixed-point
-
lambda-calculus
-
evaluation-strategies
cs.stackexchange
«
11
12
13
14
15
16
»
Результаты найдены: 627