Tag lambda-calculus - Questa è pagina 55 - GeneraCodice

lambda espressione del valore di ritorno della funzione principale

https://www.generacodice.com/it/articolo/1210493/lambda-espressione-del-valore-di-ritorno-della-funzione-principale

lambda - return-value - lambda-calculus

Lambda Calcolo operatori di precedenza

https://www.generacodice.com/it/articolo/1165991/lambda-calcolo-operatori-di-precedenza

lambda - operator-precedence - lambda-calculus

E 'questo $ \ beta $ -riduzione ben definito?

https://www.generacodice.com/it/articolo/1128286/e-questo-beta-riduzione-ben-definito

programming-languages - lambda-calculus - term-rewriting - variable-binding

cs.stackexchange

Come si dice quando una lingua è Turing-complete solo in modo banale?

https://www.generacodice.com/it/articolo/1128164/come-si-dice-quando-una-lingua-e-turing-complete-solo-in-modo-banale

lambda-calculus - turing-completeness

cs.stackexchange

Cosa c'è di sbagliato con la mia riduzione beta di C_0 pred sui numeri della Chiesa?

https://www.generacodice.com/it/articolo/1127003/cosa-c-e-di-sbagliato-con-la-mia-riduzione-beta-di-c-0-pred-sui-numeri-della-chiesa

lambda-calculus - church-numerals

cs.stackexchange

Qual è il nome di questo combinatore?

https://www.generacodice.com/it/articolo/1126669/qual-e-il-nome-di-questo-combinatore

functional-programming - logic - lambda-calculus - combinatory-logic

cs.stackexchange

lambda calcolo come teoria tipo

https://www.generacodice.com/it/articolo/1126344/lambda-calcolo-come-teoria-tipo

type-theory - lambda-calculus

cs.stackexchange

È lambda calcolo adatto per esprimere la semantica dei linguaggi non funzionali?

https://www.generacodice.com/it/articolo/1125108/e-lambda-calcolo-adatto-per-esprimere-la-semantica-dei-linguaggi-non-funzionali

semantics - programming-languages - lambda-calculus

cs.stackexchange

Come decidere la portata del seguente espressione lambda?

https://www.generacodice.com/it/articolo/1124349/come-decidere-la-portata-del-seguente-espressione-lambda

lambda-calculus

cs.stackexchange

Che cosa è un parser pretermine?

https://www.generacodice.com/it/articolo/1123789/che-cosa-e-un-parser-pretermine

lambda-calculus - parsers - type-checking

cs.stackexchange

«
52
53
54
55
56
57
»

Risultati trovati: 627