Unit:
Διαπανεπιστημιακό ΠΜΣ Λογική και Θεωρία Αλγορίθμων και ΥπολογισμούLibrary of the School of Science
Author:
Ξουράφης Γεώργιος
Supervisors info:
Γεώργιος Κολέτσος Καθηγητής ΕΜΠ (επιβλέπων)Κωνσταντίνος Δημητρακόπουλος Καθηγητής ΕΚΠΑ, Νικόλαος Ρήγας Διδάκτωρ
Original Title:
Ατέρμονες αναγωγές στον λ-λογισμό
Translated title:
Perpetual reductions in λ-calculus
Summary:
Perpetual reductions are a tool which has contributed to the comprehension of
some properties of β-reduction. An important application of this tool concerns
the proof of Ω-theorem by Sorensen, whereas another one is about the
characterisation of the perpetual redexes of a λ-term. An alternative way of
proving these is the method of assigning types to terms, which we study in the
last chapter of this theses.
Keywords:
Reductions, Strategies, Perpetual, Type assignment, Sorensen theorem
Number of pages:
[14], 81
