Pagina's die verwijzen naar "Lambdacalculus"
Naar navigatie springen
Naar zoeken springen
De volgende pagina's verwijzen naar Lambdacalculus:
Er worden 10 items getoond.
- Haskell (programmeertaal) (← koppelingen)
- Repetitie (informatica) (← koppelingen)
- Functioneel programmeren (← koppelingen)
- Alfred Tarski (← koppelingen)
- Categorietheorie (wiskunde) (← koppelingen)
- Geschiedenis van de logica (← koppelingen)
- Uitdrukking (wiskunde) (← koppelingen)
- Herschrijven (theoretische informatica) (← koppelingen)
- Curry–Howard-isomorfisme (← koppelingen)
- Cut-eliminatiestelling (← koppelingen)