Jelena Ivetic

According to our database¹, Jelena Ivetic authored at least 10 papers between 2007 and 2021.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2021

L-types for resource awareness: an implicit name approach.

[BibT_eX]

[DOI]

CoRR, 2021

2020

Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2020

2018

Probabilistic Reasoning About Simply Typed Lambda Terms.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2014

Resource control and intersection types: an intrinsic connection.

[BibT_eX]

[DOI]

CoRR, 2014

2013

A journey through resource control lambda calculi and explicit substitution using intersection types (an account).

[BibT_eX]

[DOI]

CoRR, 2013

2012

Characterising Strongly Normalising Intuitionistic Terms.

[BibT_eX]

[DOI]

José Espírito Santo

Jelena Ivetic

Silvia Likavec

Fundam. Informaticae, 2012

2011

Resource control and strong normalisation

[BibT_eX]

[DOI]

CoRR, 2011

Intersection Types for the Resource Control Lambda Calculi.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31, 2011

2009

Intuitionistic Sequent-Style Calculus with Explicit Structural Rules.

[BibT_eX]

[DOI]

Proceedings of the Logic, Language, and Computation, 2009

2007

Characterising Strongly Normalising Intuitionistic Sequent Terms.

[BibT_eX]

[DOI]

José Espírito Santo

Silvia Ghilezan

Jelena Ivetic

Proceedings of the Types for Proofs and Programs, International Conference, 2007

Jelena Ivetic

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...