Dr. Péter Battyányi
Dr. Péter Battyányi
lecturer
Department
University of Debrecen, Faculty of Informatics, Department of Computer Science
Central phone
75115
Address
4028 Debrecen, Kassai út 26.
Building
Floor, door
floor 1, I115 (Lecturers’ room)
Main research area
- Lambda calculus
- Type theory
- Unconventional computation
- Formal semantics of programming languages
Last update:
2023. 09. 08. 09:37