Foto del docente

Andrea Condoluci

PhD Student

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Research

Keywords: type theory interactive theorem provers lambda calculus

Latest news

At the moment no news are available.