Intersection types and reduction properties in λ-calculus

This item is provided by the institution :
National Documentation Centre (EKT)

see the original item page
in the repository's web site and access all digital files if the item^*

Title

Τύποι τομής και ιδιότητες αναγωγής στο λ-λογισμό

Creator

Stavrinos, Yiorgos

Σταυρινός, Γιώργος

Type

PhD Thesis

Thesis
PhD thesis (EN)

Date

2001

Year

2001 (EN)

Scientific field

Φυσικές Επιστήμες ➨ Μαθηματικά

Natural Sciences
Mathematics (EN)

Subject

Reduction

Τύποι τομής

Reducibility

Λ-calculus

Intersection types

Λ-λογισμός

Μαθηματικά

Mathematics

Natural Sciences

Αναγωγικότητα

Φυσικές Επιστήμες

Αναγωγή

Language

Greek

Publisher

Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ)

National Technical University of Athens (NTUA)

School / Department / Institute

Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Τμήμα Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών. Τομέας Μαθηματικών

National Technical Univeristy of Athens ▶ School of Applied Mathematical and Physics Science
Department of Mathematics

Provider

Repository / collection

Subcollections

Συλλογή ΕΑΔΔ