Characterising Strongly Normalising Intuitionistic Sequent Terms. - José Espírito Santo; Silvia Ghilezan; Jelena Ivetic (TYPES, 2007)

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Dragisa Zunic (TbiLLC, 2009)

Intersection Types for the Resource Control Lambda Calculi. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (ICTAC, 2011)

Resource control and strong normalisation - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (CoRR, 2011)

Characterising Strongly Normalising Intuitionistic Terms. - José Espírito Santo; Jelena Ivetic; Silvia Likavec (Fundam. Informaticae, 2012)

A journey through resource control lambda calculi and explicit substitution using intersection types (an account). - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (CoRR, 2013)

Resource control and intersection types: an intrinsic connection. - Silvia Ghilezan; Jelena Ivetic; Pierre Lescanne; Silvia Likavec (CoRR, 2014)

Probabilistic Reasoning About Simply Typed Lambda Terms. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (LFCS, 2018)

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Zoran Ognjanovic; Nenad Savic (FoIKS, 2020)

L-types for resource awareness: an implicit name approach. - Silvia Ghilezan; Jelena Ivetic; Simona Kasterovic; Pierre Lescanne (CoRR, 2021)