41
Bearbeitungen
Zeile 15: | Zeile 15: | ||
* theoretische Informatik | * theoretische Informatik | ||
* Kategorientheorie | * Kategorientheorie | ||
* alle philosophischen Implikationen des Curry-Howard-Isormorphismus | |||
* Blüdsinn | * Blüdsinn | ||
* Kybernetik | * Kybernetik |
Bearbeitungen