@online{huangndfondamenti,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Fondamenti teorica},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/fondamenti-teorica/},
  langid       = {english},
  abstract     = {https://virtuale.unibo.it/pluginfile.php/1295166/mod\_resource/content/0/Lez18-Gorrieri.pdf Halting problem \# Questo asserisce che non esiste nessun programma che sia in grado di decidere la terminazione di un altro programma Questo è un problema che ci è interessante perché vorre}
}