Pàgines que enllacen amb «Càlcul lambda»
Les següents pàgines enllacen amb Càlcul lambda
Hi ha 50 elements.
- Algorisme (← enllaços | modifica)
- Teorema (← enllaços | modifica)
- Llenguatge de programació (← enllaços | modifica)
- Alan Turing (← enllaços | modifica)
- Funció (← enllaços | modifica)
- Màquina de Turing (← enllaços | modifica)
- Entscheidungsproblem (← enllaços | modifica)
- Teoria de la computabilitat (← enllaços | modifica)
- Problema de la parada (← enllaços | modifica)
- Funció recursiva (← enllaços | modifica)
- Composició de funcions (← enllaços | modifica)
- Teoria de categories (← enllaços | modifica)
- Haskell (← enllaços | modifica)
- Funció anònima (← enllaços | modifica)
- Programació funcional (← enllaços | modifica)
- Ciències de la computació (← enllaços | modifica)
- Espai funcional (← enllaços | modifica)
- Tesi de Church-Turing (← enllaços | modifica)
- Funció computable (← enllaços | modifica)
- Càlcul pi (← enllaços | modifica)
- Llenguatge de programació Eiffel (← enllaços | modifica)
- Teoria de llenguatges de programació (← enllaços | modifica)
- Haskell Curry (← enllaços | modifica)
- Correspondència Curry-Howard (← enllaços | modifica)
- Alonzo Church (← enllaços | modifica)
- Turing complet (← enllaços | modifica)
- Sistema abstracte de reescriptura (← enllaços | modifica)
- Forma normal beta (← enllaços | modifica)
- Stephen Kleene (← enllaços | modifica)
- Nombre computable (← enllaços | modifica)
- Gramàtica sense restriccions (← enllaços | modifica)
- Lambda càlcul (pàgina redirigida) (← enllaços | modifica)
- Càlcul Lambda (pàgina redirigida) (← enllaços | modifica)
- Càlcul-lambda (pàgina redirigida) (← enllaços | modifica)
- Càlcul-Lambda (pàgina redirigida) (← enllaços | modifica)
- Càlcul-λ (pàgina redirigida) (← enllaços | modifica)
- Càlcul λ (pàgina redirigida) (← enllaços | modifica)
- Λ-càlcul (pàgina redirigida) (← enllaços | modifica)
- Λ càlcul (pàgina redirigida) (← enllaços | modifica)
- Càlcul-Λ (pàgina redirigida) (← enllaços | modifica)
- Càlcul Λ (pàgina redirigida) (← enllaços | modifica)
- Teoria de la computació (← enllaços | modifica)
- Característiques del llenguatge Haskell (← enllaços | modifica)
- HNF (← enllaços | modifica)
- Xtend (← enllaços | modifica)
- Història de la informàtica (← enllaços | modifica)
- George Kreisel (← enllaços | modifica)
- Cronologia de la intel·ligència artificial (← enllaços | modifica)
- Blocs (extensió de llenguatge C) (← enllaços | modifica)
- Mètode efectiu (← enllaços | modifica)