Português
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Artigos completos
Categorias
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Você escreve
Do utilizador
Conecte-se
Cadastro
Recuperação de senha
Tag
Tags de idioma
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag lambda-calculus - Esta é a página 59 - GeneraCodice
Do Higher Order Functions provide more power to Functional Programming?
https://www.generacodice.com/pt/articolo/1096752/do-higher-order-functions-provide-more-power-to-functional-programming
complexity-theory
-
functional-programming
-
lambda-calculus
-
turing-completeness
cs.stackexchange
Is there a typed SKI calculus?
https://www.generacodice.com/pt/articolo/1095983/is-there-a-typed-ski-calculus
logic
-
type-theory
-
lambda-calculus
-
combinatory-logic
-
reference-request
cs.stackexchange
Why are lambda-abstractions the only terms that are values in the untyped lambda calculus?
https://www.generacodice.com/pt/articolo/1095711/why-are-lambda-abstractions-the-only-terms-that-are-values-in-the-untyped-lambda-calculus
logic
-
lambda-calculus
cs.stackexchange
A lambda calculus evaluation involving Church numerals
https://www.generacodice.com/pt/articolo/1094922/a-lambda-calculus-evaluation-involving-church-numerals
lambda-calculus
-
church-numerals
cs.stackexchange
Lambda Calculus Evaluation
https://www.generacodice.com/pt/articolo/1093322/lambda-calculus-evaluation
logic
-
lambda-calculus
cs.stackexchange
Quantum lambda calculus
https://www.generacodice.com/pt/articolo/1093215/quantum-lambda-calculus
lambda-calculus
-
quantum-computing
-
computation-models
-
reference-request
cs.stackexchange
Is there a difference between $\lambda xy.xy$ and $\lambda x.\lambda y.xy$?
https://www.generacodice.com/pt/articolo/1092441/is-there-a-difference-between-lambda-xy-xy-and-lambda-x-lambda-y-xy
logic
-
lambda-calculus
cs.stackexchange
What is beta equivalence?
https://www.generacodice.com/pt/articolo/1092398/what-is-beta-equivalence
logic
-
terminology
-
type-theory
-
lambda-calculus
cs.stackexchange
Characterization of lambda-terms that have union types
https://www.generacodice.com/pt/articolo/1091091/characterization-of-lambda-terms-that-have-union-types
logic
-
type-theory
-
lambda-calculus
cs.stackexchange
SKI transform, how to program in a functional language
https://www.generacodice.com/pt/articolo/1088002/ski-transform-how-to-program-in-a-functional-language
functional-programming
-
lambda-calculus
-
prolog
StackOverflow
«
56
57
58
59
60
61
»
Resultados encontrados: 627