@online{huang2025teoria,
  author       = {Huang, Xuanqiang Angelo},
  title        = {Teoria dei Tipi},
  date         = {2025-09-28},
  organization = {Xuanqiang Angelo Huang's Blog},
  url          = {https://flecart.github.io/notes/teoria-dei-tipi/},
  langid       = {italian},
  abstract     = {Introduzione alla Teoria dei Tipi \# History of Languages Research \# The root of languages research are in: in logic and computations (even before computers!). Artificial intelligence (Lisp, constrained solvers, the original logical AI we studied in (Russell \&\#x26; Norvig 2009) ).}
}