Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Σημειώσεις κ.λπ.
Η θεωρία τύπων τού Martin-Löf ολοκληρώθηκε. Στό επόμενο μάθημα ο Ανδρέας θα κάνει μία σύντομη παρουσίαση τής Agda, και μετά θα μπούμε στήν ομοτοπική θεωρία τύπων.
Υπάρχουν νεότερες σημειώσεις που καλύπτουν ό,τι έχουμε κάνει μέχρι τώρα. Περιέχουν λύσεις όλων τών ασκήσεων, ωστόσο αυτό δεν πρέπει να σάς εμποδίσει να προσπαθήσετε να τίς λύσετε μόνοι σας.