PIPERNO, Adolfo
PIPERNO, Adolfo
DIPARTIMENTO DI INFORMATICA
A compositive abstraction algorithm for combinatory logic
1987 Piperno, Adolfo
A filter model for concurrent lambda-calculus
1998 M., Dezani Ciancaglini; U., De'Liguoro; Piperno, Adolfo
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees
1992 Crescenzi, P.; DI BATTISTA, G.; Piperno, Adolfo
A Syntactical Analysis of Normalization
2000 Khasidashvili, Z.; Piperno, Adolfo
Abstraction problems in Combinatory Logic: a compositive approach
1989 Piperno, Adolfo
An Algebraic View of the Böhm-out Technique
1999 Piperno, Adolfo
Böhm's Theorem
2009 DEZANI CIANCAGLINI, M; Guerrini, S; Piperno, Adolfo
Characterizing X-separability and one side invertibility in lambda-calculus
1988 Böhm, C.; Piperno, Adolfo
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday
2015 Guerrini, Stefano; Barendrengt, Henk; Piperno, Adolfo
Expanding Extensional Polymorphism
1995 Roberto Di, Cosmo; Piperno, Adolfo
Filter Models for a Parallel and Non-deterministic lambda-calculus
1993 DEZANI CIANCAGLINI, M.; De'Liguoro, U.; Piperno, Adolfo
Filter Models for Conjunctive-Disjunctive lambda-calculi
1996 DEZANI CIANCAGLINI, M.; De'Liguoro, U.; Piperno, Adolfo
Il gioco del filetto a tre pedine
1985 Piperno, Adolfo
Intersection types and lambda-definability
2003 Bucciarelli, A.; Piperno, Adolfo; Salvo, Ivano
Isomorphism test for digraphs with weighted edges
2018 Piperno, Adolfo
Lambda-definition of Function(al)s by Normal Forms
1994 Böhm, C.; Guerrini, S.; Piperno, Adolfo
Linear Area Upward Drawings of AVL Trees
1997 Crescenzi, P.; Penna, P.; Piperno, Adolfo
Must preorder in non-deterministic untyped lambda-calculus
1992 De'Liguoro, ; Piperno, Adolfo
nauty & Traces version 2.5r9
2013 Brendan, Mckay; Piperno, Adolfo
Non-deterministic extensions of untyped lambda-calculus
1995 De'Liguoro, U.; Piperno, Adolfo