Silvia Likavec

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
Resource control and intersection types: an intrinsic connection	2014-12-06	Paper
On semantics of a term calculus for classical logic Publications de l'Institut Mathématique. Nouvelle Série	2014-11-14	Paper
On semantics of a term calculus for classical logic Publications de l'Institut Math?matique (Belgrade)	2014-11-14	Paper
Reducibility: a ubiquitous method in lambda calculus with intersection types Electronic Notes in Theoretical Computer Science	2013-08-16	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
scientific article; zbMATH DE number 5841868 (Why is no real title available?)	2011-01-26	Paper
Strong Normalization of the Dual Classical Sequent Calculus Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
Theoretical Computer Science Lecture Notes in Computer Science	2006-11-01	Paper
Types for Proofs and Programs Lecture Notes in Computer Science	2005-12-23	Paper
Behavioural inverse limit \(\lambda\)-models Theoretical Computer Science	2004-08-04	Paper

Research outcomes over time

This page was built for person: Silvia Likavec