Zastosowania geometrii algebraicznej w teorii typów / teorii języka programowania
Ostatnio zainteresowałem się geometrią algebraiczną i zacząłem o niej czytać. Wciąż bardzo mało wiem o tym polu, ale chcę wiedzieć, czy ma on jakiś związek z moim głównym polem, teorią typów i językami programowania. Wiem, że topologia algebraiczna ma wiele zastosowań w teorii typów (teoria...