News
COST IC0901 WG1 and WG2 Meeting and Third Workshop on Formal and...
argo.matf.bg.ac.rs
18: :30, Jelena Ivetic (University of Novi Sad, Serbia): Intuitionistic Sequent-style Calculus with Explicit Structural Rules slides.
Formal Theorem Proving and Applications 2008
argo.matf.bg.ac.rs
Enes Duvnjakovic, University of Tuzla; Filip Maric, University of Belgrade; Jelena Ivetic, University of Novi Sad; Makarius Wenzel, TU Munich; Matijaz Kovse, ...
Tbilisi 2009: Eighth International Tbilisi Symposium on Language,...
archive.illc.uva.nl
Dragisa Zunic, Silvia Ghilezan, Pierre Lescanne and Jelena Ivetic Intuitionistic sequent-style calculus with explicit structural rules. In this paper we extend the ...
TYPES 2015: Programme
cs.ioc.ee
, Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec Intersection types fit well with resource control. Noam Zeilberger
sorted by relevance / date