en
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Full articles
Categories
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
You write
User
Login
Registration
Password recovery
Tags
Language tags
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag lambda-calculus - This is page 14 - GeneraCodice
Sequencing or continuation-passing in pure lambda-calculus
https://www.generacodice.com/en/articolo/2478643/sequencing-or-continuation-passing-in-pure-lambda-calculus
lambda-calculus
cs.stackexchange
Can lists be defined in a special way so that they contain things of different type?
https://www.generacodice.com/en/articolo/2475569/can-lists-be-defined-in-a-special-way-so-that-they-contain-things-of-different-type
functional-programming
-
lambda-calculus
-
category-theory
cs.stackexchange
How to understand quantifier without predication “ ∀(λφ. (φ x m→ φ y))”?
https://www.generacodice.com/en/articolo/2475553/how-to-understand-quantifier-without-predication-λφ-φ-x-m-φ-y
lambda-calculus
-
isabelle
-
first-order-logic
-
modal-logic
-
higher-order-logic
cs.stackexchange
The meaning and relevance of the locution ''no terminating implementation'' in type theory
https://www.generacodice.com/en/articolo/2475441/the-meaning-and-relevance-of-the-locution-no-terminating-implementation-in-type-theory
functional-programming
-
type-theory
-
lambda-calculus
cs.stackexchange
Lambda Calculus Conversion
https://www.generacodice.com/en/articolo/2474831/lambda-calculus-conversion
python
-
lisp
-
functional-programming
-
haskell
-
lambda-calculus
cs.stackexchange
Tried to derive the Z combinator and instead derived another
https://www.generacodice.com/en/articolo/2474408/tried-to-derive-the-z-combinator-and-instead-derived-another
lambda-calculus
-
combinatory-logic
cs.stackexchange
Lambda calculus without free variables is as strong as lambda calculus?
https://www.generacodice.com/en/articolo/2467257/lambda-calculus-without-free-variables-is-as-strong-as-lambda-calculus
lambda-calculus
-
proof-techniques
-
turing-completeness
cs.stackexchange
lambda calculus reduction: (((lambda f (lambda x (f x))) (lambda y (* y y))) 12)
https://www.generacodice.com/en/articolo/2455935/lambda-calculus-reduction-lambda-f-lambda-x-f-x-lambda-y-y-y-12
lambda-calculus
cs.stackexchange
Lambda Expression Reduction
https://www.generacodice.com/en/articolo/2455712/lambda-expression-reduction
functional-programming
-
lambda-calculus
-
encoding-scheme
cs.stackexchange
Termination of Z combinator with call-by-value
https://www.generacodice.com/en/articolo/2453760/termination-of-z-combinator-with-call-by-value
fixed-point
-
lambda-calculus
-
evaluation-strategies
cs.stackexchange
«
11
12
13
14
15
16
»
Results found: 627