Πλίτσης, Ε., & Στεφανέας, Π. (2018). Categorical semantics of dependent type theory. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών.
Παραπομπή Chicago StyleΠλίτσης, Εμμανουήλ, and Πέτρος Στεφανέας. Categorical Semantics of Dependent Type Theory. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, 2018.
Παραπομπή MLAΠλίτσης, Εμμανουήλ, and Πέτρος Στεφανέας. Categorical Semantics of Dependent Type Theory. Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, 2018.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.