Sfoglia per Autore
La chiamata per Valore e La valutazione pigra nel λ-calcolo
1998-01-01 L. PAOLINI
Call-by-Value Solvability
1999-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
Élements de Ludique
2000-01-01 L. PAOLINI
Call-by-Value Separability and Computability
2001-01-01 L. PAOLINI
A fully abstract model for the lazy lambda-calculus
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
Lambda-theories: some investigations
2004-01-01 L. PAOLINI
The Parametric Lambda-Calculus: a Metamodel for Computation
2004-01-01 S. RONCHI DELLA ROCCA; L. PAOLINI
Lazy Logical Semantics
2004-01-01 L. PAOLINI; S. RONCHI DELLA ROCCA
Parametric parameter passing lambda-calculus
2004-01-01 LUCA PAOLINI; SIMONA RONCHI DELLA ROCCA
Lazy strong normalization
2005-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Lecturer of the International Summer School Chambery-Torino 2006
2006-01-01 Luca Paolini
An Operational Characterization of Strong Normalization
2006-01-01 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
A Stable Programming Language
2006-01-01 L. PAOLINI
Syntactical, Operational and Denotational Linearity
2007-01-01 M. GABOARDI; L. PAOLINI
Member of the Program Committee - 3th Workshop on Logical and Semantic Frameworks, with Applications
2008-01-01 Luca Paolini
Parametric Lambda-Theories
2008-01-01 L. PAOLINI
Semantically Linear Programming Languages
2008-01-01 L. PAOLINI; M. PICCOLO
Member of the Program Committee - 4th Workshop on Logical and Semantic Frameworks, with Applications
2009-01-01 Luca Paolini
Member of the Program Commitee - 1st International Workshop on Linearity
2009-01-01 Luca Paolini
Member of the Program Committee - 9th International Conference on Typed Lambda Calculi and Applications
2009-01-01 Luca Paolini
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