Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 57
Titolo Data di pubblicazione Autore(i) File
Reducibility method for termination properties of typed lambda terms 2001 S. Ghilezan; V. Kuncak; S. Likavec
Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types 2003 Silvia Ghilezan; Silvia Likavec
Behavioural inverse limit λ-models 2004 Dezani M.; Ghilezan S.; Likavec S.
Extensions of the reducibility method 2004 Silvia Ghilezan; Silvia Likavec
A core calculus of mixins and incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes [poster abstract] 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of mixin-based incomplete objects 2004 L. BETTINI; V. BONO; S. LIKAVEC
A core calculus of higher-order mixins and classes 2004 L. BETTINI; V. BONO; S. LIKAVEC
Safe and Flexible Objects 2005 L. BETTINI; V. BONO; S. LIKAVEC
Safe object composition in the presence of subtyping 2005 L. BETTINI; V. BONO; S. LIKAVEC
Strong Normalization of the Dual Classical Sequent Calculus 2005 S. GHILEZAN; S. LIKAVEC; P. LESCANNE; D. DOUGHERTY
Safe and Flexible Objects with Subtyping 2005 L. BETTINI; V. BONO; S. LIKAVEC
On untyped Curien-Herbelin calculus 2006 Silvia Likavec; Pierre Lescanne
Linearna algebra (Algebra lineare) 2008 Silvia Likavec
Integralni racun (Calcolo integrale per funzioni di una variabile) 2008 Silvia Likavec
Intersection type assignment systems for intuitionistic sequent calculus 2008 José Espírito Santo; Jelena Ivetic; Silvia Likavec
Realne funkcije jedne realne promenljive (Calcolo - funzioni di una variabile) 2008 Silvia Likavec
Polynomials and rational functions 2009 Silvia Likavec
Computational Interpretations of Logics 2009 Silvia Ghilezan; Silvia Likavec
Differentiation for single variable calculus 2009 Silvia Likavec
Mostrati risultati da 1 a 20 di 57
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