Unit:
Τομέας Φιλοσοφίας και Θεωρίας της Επιστήμης και της ΤεχνολογίαςLibrary of the School of Science
Dissertation committee:
ΙΩΑΝΝΗΣ ΣΤΕΦΑΝΟΥ, ΓΕΩΡΓΙΟΣ ΚΟΛΕΤΣΟΣ, SIMONA RONCHI DELLA ROCCA
Original Title:
Λογικές ερμηνείες για τύπους τομής και ένωσης
Translated title:
A Logic for Intersection and Union Types
Summary:
We seek a logic corresponding to the type system with intersection and union
types through a decoration with untyped λ-terms. We thus aim to investigate the
logical counterparts of the type constructors of intersection and union.
Keywords:
l-calculus, Type systems, Intersection, Union, Curry-Howard isomorphism
Number of pages:
viii, 180