Natural deduction and sequent typed lambda calculus. Ghilezan, Silvia — 1999 Novi Sad Journal of Mathematics
Reducibility method in simply typed lambda calculus. Ghilezan, Silvia; Kunčak, Viktor — 2001 Novi Sad Journal of Mathematics
Intersection Types for lambda^{gtz}-calculus Silvia Ghilezan; J. Ivetić — 2007 Publications de l'Institut Mathématique