BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Czech Republic
1 × Denmark
1 × France
1 × Germany
1 × Italy
2 × USA
3 × United Kingdom
Collaborated with:
C.Böhm Z.Khasidashvili R.D.Cosmo S.R.D.Rocca R.Kennaway S.Guerrini'Liguoro R.Statman A.Bucciarelli S.D.Lorenzis I.Salvo
Talks about:
extension (3) calculus (3) normal (3) type (3) reduct (2) superdevelop (1) hyperbalanc (1) combinatori (1) polymorph (1) intersect (1)

Person: Adolfo Piperno

DBLP DBLP: Piperno:Adolfo

Contributed to:

RTA 20022002
LICS 19991999
CSL 19981998
LICS 19951995
TLCA 19951995
ESOP 19941994
LICS 19941994
LICS 19921992
LICS 19881988
CSL 19871987
TAPSOFT, Vol.2: CFLP 19871987

Wrote 11 papers:

RTA-2002-KennawayKP #composition #static analysis #λ-calculus
Static Analysis of Modularity of β-Reduction in the Hyperbalanced λ-Calculus (RK, ZK, AP), pp. 51–65.
Some Computational Properties of Intersection Types (AB, SDL, AP, IS), pp. 109–118.
CSL-1998-KhasidashviliP #normalisation
Normalization of Typable Terms by Superdevelopments (ZK, AP), pp. 260–282.
LICS-1995-Piperno #normalisation
Normalization and Extensionality (AP), pp. 300–310.
TLCA-1995-CosmoP #morphism #polymorphism
Expanding Extensional Polymorphism (RDC, AP), pp. 139–153.
ESOP-1994-BohmPG #normalisation
λ-Definition of Function(al)s by Normal Forms (CB, AP, SG), pp. 135–149.
LICS-1994-PipernoR #type inference
Type Inference and Extensionality (AP, SRDR), pp. 196–205.
LICS-1992-LiguoroPS #λ-calculus
Retracts in simply typed λβη-calculus (Ud, AP, RS), pp. 461–469.
LICS-1988-BohmP #calculus
Characterizing X-Separability and One-Side Invertibility in λ-β-Ω-Calculus (CB, AP), pp. 91–101.
CSL-1987-BohmP #combinator #finite #reduction #set
Surjectivity for Finite Sets of Combinators by Weak Reduction (CB, AP), pp. 27–43.
CFLP-1987-Piperno #abstraction #algorithm #combinator #logic
A Compositive Abstraction Algorithm for Combinatory Logic (AP), pp. 39–51.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.