Приложения алгебраической геометрии в теории типов / теории языка программирования
В последнее время я заинтересовался алгебраической геометрией и начал читать по ней. Я все еще очень мало знаю об этой области, но я хочу знать, имеет ли она какое-либо отношение к моей основной области, теории типов и языкам программирования. Я знаю, что алгебраическая топология имеет много...