Higher Order Subtyping
with
Intersection Typ es
een wetenschapp elijke pro eve op het gebied van de
Wiskunde en Informatica
proefschrift
ter verkrijging van de graad van do ctor
aan de Katholieke Universiteit Nijmegen
volgens besluit van het College van Decanen
in het op enbaar te verdedigen
op maandag januari
des namiddags te uur precies
do or
Adriana Beatriz Compagnoni
geb oren december te Buenos Aires
Promotores Professor M Dezani Ciancaglini
Universit degli Studi di Torino Turijn Itali e
Professor dr H P Barendregt
Higher Order Subtyping
with
Intersection Typ es
Adriana Beatriz Compagnoni
Cover design David Aspinall and Adriana Compagnoni
cip data koninklijke bibliotheek den haag
Compagnoni Adriana Beatriz
Higher order subtyping with intersection typ es
Adriana Beatriz Compagnoni S l s n I
Thesis Nijmegen With ref
ISBN
Sub ject headings lamb da calculus iv
A Susana y Mario vi
Acknowledgements
Mariangiola Dezani is the most encouraging and enthusiastic computer scientist I
have ever met From her I learned to trust my intuition and followit through to
the very end This research would not have b een p ossible without her technical
sup ervision and moral supp ort I would also like to thank my sup ervisor Henk
Barendregt His lucid lectures on calculus his abilitytohide irrelevant details
the clarity of his explanations and his eleganttechnical prose have b een constant
guides
I thank the p eople in the Netherlands esp ecially Erik Barendsen and Jan Ku
p er for their help and friendship and Ste en van Bakel and Paula Severi for their
comments on previous drafts of this thesis Mieke Massink and Maria Fern andez
Ferreira started as colleagues and so on b ecame two of my dearest friends
I am grateful to Benjamin Pierce who suggested the study of a calculus
combining higher order p olymorphism and intersection typ es He and I de ned