| 1x | | modalna logika, relacijska semantika, topološka semantika, logika prvega reda, snop, temporalna logika, sekventni račun, linearna logika, eliminacija rezov, topološki modeli, konstruktivna logika, merljiv kardinal, mera, ordinal, dobra urejenost, dependent type theory, synthetic category theory, higher categories, realna števila, sočasno izvajanje, paralelno izvajanje, računanje z visoko natančnostjo, Funkcional, Cantorjeva množica, monada, memoizacija, Lean, Lean 4, graf, kromatično število, Homotopska teorija tipov, obrnljivost, ekvivalenca, sfera, razčlenjevalnik, programski jezik, mixfix, OCaml, Dependent type theory, constructive mathematics, formalization, Zariski locale, structure sheaf, geometrija, hiperbolična geometrija, 3D model, vizualizacija, teorij izračunljivosti, teorija realizabilnosti, dokazovalni pomočniki, topos, Beckov izrek o monadah, teorija kategorij, kolimita, rekurzivni tip, induktivni tip, koinduktivni tip, vsota tipov., dokazovalni pomočnik, Teorija kategorij, Yonedova lema, kategorije, plavajoča vejica, Haskell, GHC, MPFR, C, imaginarna kocka, latinski kvadrat, fraktal, metoda sledenja žarku, POV-Ray. |
