Adolfo Piperno

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3385652	2021-12-20	Paper
Isomorphism Test for Digraphs with Weighted Edges.	2020-12-16	Paper
Practical graph isomorphism. II.	2014-03-03	Paper
Nondeterministic extensions of untyped $\lambda$-calculus	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q3024832	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4808737	2004-08-12	Paper
Intersection types and λ-definability	2004-02-08	Paper
A syntactical analysis of normalization	2000-09-04	Paper
https://portal.mardi4nfdi.de/entity/Q4490718	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4263802	1999-09-22	Paper
An algebraic view of the Böhm-out technique	1999-01-12	Paper
A Filter Model for Concurrent $\lambda$-Calculus	1998-09-21	Paper
Linear area upward drawings of AVL trees	1998-04-13	Paper
Filter models for conjunctive-disjunctive $\lambda$-calculi	1997-02-27	Paper
A note on optimal area algorithms for upward drawings of binary trees	1993-05-16	Paper
REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS	1992-06-25	Paper
Abstraction problems in combinatory logic: A compositive approach	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4204131	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3815284	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3775517	1987-01-01	Paper

This page was built for person: Adolfo Piperno