Dr. Battyányi Péter adjunktus

 

 

Publikációs lista

 

Főbb kutatási irányok

  • Lambda-kalkulus
  • Típuselmélet
  • Nemstandard számítási modellek (membránkalkulus, kémiai kalkulus)
  • Programnyelvek szemantikája, programhelyesség
     
Legutóbbi frissítés: 2023. 06. 08. 10:43