Giorgos Koletsos

Rank

Professor Emeritus

Affiliation

School of Electrical and Computer Engineering, National Technical University of Athens

Courses

Name	Year	Semester
Special Topics in Logic: Logic and Computer Science: λ-calculus, Curry-Howard Isomorphism	2022-2023	Spring