Jelena Ivetić

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Structural rules and resource control in logic and computation	2023-07-21	Paper
A refinement of the Jensen type inequality for the pseudo-integral	2022-10-25	Paper
L-types for resource awareness: an implicit name approach	2021-12-21	Paper
Towards probabilistic reasoning in type theory -- the intersection type case	2020-10-26	Paper
Probabilistic reasoning about simply typed lambda terms	2018-04-06	Paper
Resource control and intersection types: an intrinsic connection	2014-12-06	Paper
A journey through resource control lambda calculi and explicit substitution using intersection types (an account)	2013-06-10	Paper
Characterising strongly normalising intuitionistic terms Fundamenta Informaticae	2013-01-24	Paper
Intersection types for the resource control lambda calculi Theoretical Aspects of Computing – ICTAC 2011	2012-01-06	Paper
Resource control and strong normalisation	2011-12-15	Paper
Intuitionistic sequent-style calculus with explicit structural rules Logic, Language, and Computation	2011-07-29	Paper
Intersection types for λGtz-calculus Publications de l'Institut Math?matique (Belgrade)	2008-07-02	Paper
Characterising Strongly Normalising Intuitionistic Sequent Terms Lecture Notes in Computer Science	2008-06-03	Paper

Research outcomes over time

This page was built for person: Jelena Ivetić