MSc thesis of Anastasia Veneti
On a logical foundation of the intersection types assignment system: Intersection Logics
Supervisors: Georgios Koletsos, Yiorgos Stavrinos
Defended: Dec. 1, 2007.mpla.math.uoa.gr |
|
You are here: Theses » MSc » Anastasia Veneti |
Supervisors: Georgios Koletsos, Yiorgos Stavrinos
Defended: Dec. 1, 2007.