Jelena Ivetić

Available identifiers

zbMath Open ivetic.jelenaMaRDI QIDQ1709699

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6173574	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	2013-01-24	Paper
Intersection Types for the Resource Control Lambda Calculi	2012-01-06	Paper
Resource control and strong normalisation	2011-12-15	Paper
Intuitionistic Sequent-Style Calculus with Explicit Structural Rules	2011-07-29	Paper
Intersection types for λGtz-calculus	2008-07-02	Paper
Characterising Strongly Normalising Intuitionistic Sequent Terms	2008-06-03	Paper

Research outcomes over time

This page was built for person: Jelena Ivetić