Hritcu, Catalin International Max Planck Research School, MPI for Informatics, Max Planck Society;
Hritcu, C. (2007). Step-indexed Semantic Model of Types for the Functional Object Calculus. Master Thesis, Universität des Saarlandes, Saarbrücken.