Silvia Likavec

Available identifiers

zbMath Open likavec.silviaMaRDI QIDQ1434349

List of research outcomes

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	2014-11-14	Paper
Reducibility: a ubiquitous method in lambda calculus with intersection types	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	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
https://portal.mardi4nfdi.de/entity/Q3070759	2011-01-26	Paper
Strong Normalization of the Dual Classical Sequent Calculus	2008-05-27	Paper
Theoretical Computer Science	2006-11-01	Paper
Types for Proofs and Programs	2005-12-23	Paper
Behavioural inverse limit \(\lambda\)-models	2004-08-04	Paper

Research outcomes over time

This page was built for person: Silvia Likavec