Sfoglia per Autore
MR2892698 Review of Bucciarelli, Antonio; Ehrhard, Thomas; Manzonetto, Giulio A relational semantics for parallelism and non-determinism in a functional settling. Ann. Pure Appl. Logic 163 (2012), no. 7, 918–934
2013-01-01 Luca Paolini
MR3058889 Review of van Bakel, Steffen Completeness and soundness results for X with intersection and union types. Fund. Inform. 121 (2012), no. 1-4, 1–41.
2013-01-01 Luca Paolini
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012
2013-01-01 Stéphane Graham-Lengrand; Luca Paolini
Member of the Program Committee - 8th Workshop on Logical and Semantic Frameworks, with Applications
2013-01-01 Luca Paolini
MR2960042 Review of Hasegawa, Masahito A quantum double construction in Rel. Math. Structures Comput. Sci. 22 (2012), no. 4, 618–650
2013-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
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
Chair of Program Program Committee - 6th Workshop on Intersection Types and Related Systems (ITRS 2012)
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
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
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
Member of the Program Committee - 7th Workshop on Logical and Semantic Frameworks, with Applications
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
Linearity and PCF: a semantic insight!
2011-01-01 Marco Gaboardi; Luca Paolini ; Mauro Piccolo
Strong Normalization from an unusual point of view
2011-01-01 L. PAOLINI; E. PIMENTEL ; S. RONCHI DELLA ROCCA
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
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
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