Pagine che puntano a "Lambda calcolo"
Vai alla navigazione
Vai alla ricerca
Le seguenti pagine contengono dei collegamenti a Lambda calcolo:
Visualizzazione di 16 pagine.
- Macchina di Turing (← collegamenti)
- Teorema di Church (← collegamenti)
- Tesi di Church-Turing (← collegamenti)
- Funzione calcolabile (← collegamenti)
- Turing equivalenza (← collegamenti)
- Composizione di funzioni (← collegamenti)
- Monade (informatica) (← collegamenti)
- C++11 (← collegamenti)
- Spazio funzionale (← collegamenti)
- Applicazione parziale (← collegamenti)
- Car e cdr (← collegamenti)
- Sistema F (← collegamenti)
- Algoritmo (← collegamenti)
- Teorema di ricorsione di Kleene (← collegamenti)
- Principio di Markov (← collegamenti)
- Prova ontologica di Gödel (← collegamenti)