Italiano
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian
Articoli completi
Categorie
C#
PHP
PYTHON
JAVA
SQL SERVER
MYSQL
HTML
CSS
JQUERY
VUE
ReactJS
Scrivi
Utente
Login
Registrazione
Recupero della password
Tag
Tag di lingua
Back-end
C#
PHP
JAVA
PYTHON
Database
Sql server
Mysql
Front-end
HTML
CSS
JQUERY
ANGULARJS
REACT
VUE.JS
Tag lambda-calculus - Questa è pagina 14 - GeneraCodice
Sequenziamento o continuazione-Passatura in Pure Lambda-Calculus
https://www.generacodice.com/it/articolo/2478643/sequenziamento-o-continuazione-passatura-in-pure-lambda-calculus
lambda-calculus
cs.stackexchange
È possibile definire elenchi in modo speciale in modo che contengano cose di tipo diverso?
https://www.generacodice.com/it/articolo/2475569/e-possibile-definire-elenchi-in-modo-speciale-in-modo-che-contengano-cose-di-tipo-diverso
functional-programming
-
lambda-calculus
-
category-theory
cs.stackexchange
Come comprendere il quantificatore senza predizione "∀ (λφ. (Φ x m → φ y))"?
https://www.generacodice.com/it/articolo/2475553/come-comprendere-il-quantificatore-senza-predizione-λφ-Φ-x-m-φ-y
lambda-calculus
-
isabelle
-
first-order-logic
-
modal-logic
-
higher-order-logic
cs.stackexchange
Il significato e la rilevanza della locuzione "Nessuna attuazione di terminazione" nella teoria del tipo
https://www.generacodice.com/it/articolo/2475441/il-significato-e-la-rilevanza-della-locuzione-nessuna-attuazione-di-terminazione-nella-teoria-del-tipo
functional-programming
-
type-theory
-
lambda-calculus
cs.stackexchange
Conversione del calcolo lambda
https://www.generacodice.com/it/articolo/2474831/conversione-del-calcolo-lambda
python
-
lisp
-
functional-programming
-
haskell
-
lambda-calculus
cs.stackexchange
Ho cercato di ricavare il combinatore Z e invece ne deriva un altro
https://www.generacodice.com/it/articolo/2474408/ho-cercato-di-ricavare-il-combinatore-z-e-invece-ne-deriva-un-altro
lambda-calculus
-
combinatory-logic
cs.stackexchange
Il calcolo di Lambda senza variabili libere è forte come il calcolo della Lambda?
https://www.generacodice.com/it/articolo/2467257/il-calcolo-di-lambda-senza-variabili-libere-e-forte-come-il-calcolo-della-lambda
lambda-calculus
-
proof-techniques
-
turing-completeness
cs.stackexchange
Riduzione del calcolo Lambda: (((Lambda F (Lambda X (Lambda X (F X))) (Lambda y (* y y))) 12)
https://www.generacodice.com/it/articolo/2455935/riduzione-del-calcolo-lambda-lambda-f-lambda-x-lambda-x-f-x-lambda-y-y-y-12
lambda-calculus
cs.stackexchange
Riduzione dell'espressione della Lambda.
https://www.generacodice.com/it/articolo/2455712/riduzione-dell-espressione-della-lambda
functional-programming
-
lambda-calculus
-
encoding-scheme
cs.stackexchange
Terminazione del combinatore Z con call-by-value
https://www.generacodice.com/it/articolo/2453760/terminazione-del-combinatore-z-con-call-by-value
fixed-point
-
lambda-calculus
-
evaluation-strategies
cs.stackexchange
«
11
12
13
14
15
16
»
Risultati trovati: 627