The following pages link to Adolfo Piperno (Q672043):
Displayed 21 items.
- Filter models for conjunctive-disjunctive \(\lambda\)-calculi (Q672044) (← links)
- (Q1208427) (redirect page) (← links)
- A note on optimal area algorithms for upward drawings of binary trees (Q1208428) (← links)
- Abstraction problems in combinatory logic: A compositive approach (Q1262300) (← links)
- An algebraic view of the Böhm-out technique (Q1275631) (← links)
- Linear area upward drawings of AVL trees (Q1384187) (← links)
- Practical graph isomorphism. II. (Q2437295) (← links)
- Nondeterministic extensions of untyped \(\lambda\)-calculus (Q2508325) (← links)
- (Q3024832) (← links)
- (Q3385652) (← links)
- (Q3775517) (← links)
- (Q3815284) (← links)
- REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS (Q3978457) (← links)
- (Q4204131) (← links)
- A Filter Model for Concurrent $\lambda$-Calculus (Q4210114) (← links)
- (Q4263802) (← links)
- Intersection types and λ-definability (Q4405687) (← links)
- (Q4490718) (← links)
- A syntactical analysis of normalization (Q4500176) (← links)
- (Q4808737) (← links)
- Isomorphism Test for Digraphs with Weighted Edges. (Q5140741) (← links)