Sfoglia per Autore
Lecturer of The Fourth International School on Rewriting (ISR'09)
2009-01-01 Luca Paolini
Logical Semantics for Stability
2009-01-01 L.Paolini; M.Piccolo; S.Ronchi Della Rocca
A Process-Model for Linear Programs
2009-01-01 Luca Paolini; Mauro Piccolo
Member of the Editorial Board: TLCA e-List of Open Problems (2010).
2010-01-01 Luca Paolini
Member of the Program Committee - 5th Workshop on Logical and Semantic Frameworks, with Applications
2010-01-01 Luca Paolini
Member of the Editorial Board: TLCA e-List of Open Problems (2011).
2011-01-01 Luca Paolini
Member of the Program Committee - 6th Workshop on Logical and Semantic Frameworks, with Applications
2011-01-01 Luca Paolini
MR2836775 - Review of Hyvernat, Pierre From coherent to finiteness spaces. Log. Methods Comput. Sci. 7 (2011), no. 3, 3:15
2011-01-01 Luca Paolini
Organizing chair - Second 2011 RICH MODEL TOOLKIT Meeting
2011-01-01 Luca Paolini
Strong Normalization from an unusual point of view
2011-01-01 L. PAOLINI; E. PIMENTEL ; S. RONCHI DELLA ROCCA
Linearity and PCF: a semantic insight!
2011-01-01 Marco Gaboardi; Luca Paolini ; Mauro Piccolo
MR2817181 Review of Ketema, Jeroen; Simonsen, Jakob Grue. Infinitary combinatory reduction systems. Inform. and Comput. 209 (2011), no. 6, 893–926
2012-01-01 Luca Paolini
MR2895545 Review of Intrigila, Benedetto; Statman, Richard Solution to the range problem for combinatory logic. Fund. Inform. 111 (2011), no. 2, 203–222
2012-01-01 Luca Paolini
MR2855881 Review of van Oosten, Jaap. Partial combinatory algebras of functions. Notre Dame J. Form. Log. 52 (2011), no. 4, 431–448.
2012-01-01 Luca Paolini
Member of the Program Committee - 7th Workshop on Logical and Semantic Frameworks, with Applications
2012-01-01 Luca Paolini
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009"
2012-01-01 Patrick Baillot; Pierre-Louis Curien; Luca Paolini
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012)
2012-01-01 Luca Paolini
MR2850010 Review of Seldin, Jonathan P. The search for a reduction in combinatory logic equivalent to λβ-reduction. Theoret. Comput. Sci. 412 (2011), no. 37, 4905–4918
2012-01-01 Luca Paolini
Intersection Types and Related Systems (ITRS)
2012-01-01 Silvia Ghilezan; Luca Paolini
Call-by-value solvability, revisited
2012-01-01 Beniamino Accattoli; 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