Pagina's die verwijzen naar "Typetheorie"
Uiterlijk
De volgende pagina's verwijzen naar Typetheorie:
Er worden 11 items getoond.
- Henk Barendregt (← koppelingen | bewerken)
- Abstract datatype (← koppelingen | bewerken)
- New Foundations (← koppelingen | bewerken)
- Agda (← koppelingen | bewerken)
- Typentheorie (redirect) (← koppelingen | bewerken)
- Leugenaarsparadox (← koppelingen | bewerken)
- Categorietheorie (wiskunde) (← koppelingen | bewerken)
- Principia Mathematica (← koppelingen | bewerken)
- Kardinaalgetal (← koppelingen | bewerken)
- Wiskundige logica (← koppelingen | bewerken)
- Geschiedenis van de logica (← koppelingen | bewerken)
- Axiomatische verzamelingenleer (← koppelingen | bewerken)
- Zermelo-verzamelingenleer (← koppelingen | bewerken)
- Overleg:Inductie (wiskunde) (← koppelingen | bewerken)
- Geschiedenis van de topostheorie (← koppelingen | bewerken)
- Curry–Howard-isomorfisme (← koppelingen | bewerken)
- Coq (← koppelingen | bewerken)
- Lean (bewijsassistent) (← koppelingen | bewerken)
- Semantiek (informatica) (← koppelingen | bewerken)
- Categorische logica (← koppelingen | bewerken)