![]() | ![]() |
| 2012 | ||
|---|---|---|
| 6 | Beniamino Accattoli, Luca Paolini: Call-by-Value Solvability, Revisited. FLOPS 2012: 4-16 | |
| 5 | Beniamino Accattoli, Delia Kesner: The Permutative λ-Calculus. LPAR 2012: 23-36 | |
| 4 | Beniamino Accattoli, Ugo Dal Lago: On the Invariance of the Unitary Cost Model for Head Reduction (Long Version) CoRR abs/1202.1641: (2012) | |
| 3 | Beniamino Accattoli, Delia Kesner: Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus Logical Methods in Computer Science 8(1): (2012) | |
| 2010 | ||
| 2 | Beniamino Accattoli, Delia Kesner: The Structural lambda-Calculus. CSL 2010: 381-395 | |
| 2009 | ||
| 1 | Beniamino Accattoli, Stefano Guerrini: Jumping Boxes. CSL 2009: 55-70 | |
| 1 | Stefano Guerrini | [1] |
| 2 | Delia Kesner | [2] [3] [5] |
| 3 | Ugo Dal Lago | [4] |
| 4 | Luca Paolini | [6] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page