PhD Student
Department of Computer Science and Engineering
Teaching tutor
Academic discipline: ING-INF/05 Information Processing Systems
Keywords: Lambda calculus Quantum programming languages Operational semantics Resource verification
At the moment no news are available.
Login to manage all website contents.
