Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από Κύκλους

Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18236

Title:	Ομοτοπική Θεωρία Τύπων και η Θεμελιώδης Ομάδα ενός Bouquet από Κύκλους
Authors:	Μαγκαφώσης, Γιώργος Παπασπύρου Νικόλαος
Keywords:	Ομοτοπική Θεωρία Τύπων Intentional Θεωρία Τύπων Συναρτησιακός Προγραμματισμός Θεωρία Ομάδων Θεμελιώδης Ομάδα Ελεύθερη Ομάδα
Issue Date:	30-Dec-2021
Abstract:	Σκοπός της παρούσας εργασίας είναι αφενός η συνοπτική περιγραφή των κύριων σημείων της Ομοτοπικής Θεωρίας Τύπων και αφετέρου η χρήση της για την απόδειξη ενός θεωρήματος της κλασικής Ομοτοπικής Θεωρίας στο νέο πλαίσιο που εισάγει.
URI:	http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/18236
Appears in Collections:	Διπλωματικές Εργασίες - Theses

Files in This Item:

File	Description	Size	Format
thesis.pdf		423.92 kB	Adobe PDF	View/Open