Dr. Péter BATTYÁNYI

 

 

List of publications

Main research area

  • Lambda calculus
  • Type theory
  • Unconventional computation
  • Formal semantics of programming languages
Last update: 2023. 09. 08. 09:37