Sfoglia per Autore
Reducibility method for termination properties of typed lambda terms
2001-01-01 S. Ghilezan; V. Kuncak; S. Likavec
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types
2003-01-01 Silvia Ghilezan; Silvia Likavec
Behavioural inverse limit λ-models
2004-01-01 Dezani M.; Ghilezan S.; Likavec S.
Extensions of the reducibility method
2004-01-01 Silvia Ghilezan; Silvia Likavec
A core calculus of mixins and incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes [poster abstract]
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes
2004-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Safe and Flexible Objects
2005-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Safe object composition in the presence of subtyping
2005-01-01 L. BETTINI; V. BONO; S. LIKAVEC
Strong Normalization of the Dual Classical Sequent Calculus
2005-01-01 S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY
Safe and Flexible Objects with Subtyping
2005-01-01 L. BETTINI; V. BONO; S. LIKAVEC
On untyped Curien-Herbelin calculus
2006-01-01 Silvia Likavec; Pierre Lescanne
Linearna algebra (Algebra lineare)
2008-01-01 Silvia Likavec
Integralni racun (Calcolo integrale per funzioni di una variabile)
2008-01-01 Silvia Likavec
Intersection type assignment systems for intuitionistic sequent calculus
2008-01-01 José Espírito Santo; Jelena Ivetic; Silvia Likavec
Realne funkcije jedne realne promenljive (Calcolo - funzioni di una variabile)
2008-01-01 Silvia Likavec
Polynomials and rational functions
2009-01-01 Silvia Likavec
Computational Interpretations of Logics
2009-01-01 Silvia Ghilezan; Silvia Likavec
Differentiation for single variable calculus
2009-01-01 Silvia Likavec
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile