Ατέρμονες αναγωγές στον λ-λογισμό

 
This item is provided by the institution :

Repository :
Digital Library of Grey Literature
see the original item page
in the repository's web site and access all digital files if the item*
share




2014 (EN)
Ατέρμονες αναγωγές στον λ-λογισμό

Ξουράφης Γεώργιος

Γεώργιος Κολέτσος Καθηγητής ΕΜΠ (επιβλέπων)Κωνσταντίνος Δημητρακόπουλος Καθηγητής ΕΚΠΑ
Νικόλαος Ρήγας Διδάκτωρ

Διπλωματική εργασία (Εκπονήθηκε το έτος: 2014)

Sorensen theorem
β-αναγωγές
Στρατηγικές
Strategies
Ατέρμονες
Reductions
Θεώρημα Sorensen
Perpetual
Τυποποίηση
Type assignment

Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών (EL)
University of Athens (EN)

Greek

2014


National and Kapodistrian University of Athens (UOA)

All rights remain with the author, until they expire.
Access to the work is permitted for personal, educational or research use only.



*Institutions are responsible for keeping their URLs functional (digital file, item page in repository site)