close fullscreen

MeTTa Programming Language+Hyperon Experimental+docs

help edit space_dashboard

Papers & Publications

  • Potapov A., Bogdanov V. Univalent foundations of AGI are (not) all you need // Springer: LNCS, V.13154 (proc. AGI'21). 2022. P. 184–195.
  • Warrell J., Potapov A., Vandervorst A., Goertzel B. A Meta-Probabilistic-Programming Language for Bisimulation of Probabilistic and Non-Well-Founded Type Systems // Springer: LNCS, V.13539 (proc. AGI'22). 2023. P. 434–451.