Sfoglia per Autore
Il gioco del filetto a tre pedine
1985 Piperno, Adolfo
Surjectivity for finite sets of combinators by weak reduction
1987 Böhm, C.; Piperno, Adolfo
A compositive abstraction algorithm for combinatory logic
1987 Piperno, Adolfo
Characterizing X-separability and one side invertibility in lambda-calculus
1988 Böhm, C.; Piperno, Adolfo
Regular systems of equations in lambda-calculus (preliminary version)
1989 Piperno, Adolfo; Tronci, E.
Solving Equations in lambda-calculus
1989 C., Bohm; Piperno, Adolfo; Tronci, Enrico
Abstraction problems in Combinatory Logic: a compositive approach
1989 Piperno, Adolfo
Regular systems of equations in lambda-calculus
1990 Piperno, Adolfo; Tronci, Enrico
Termini invertibili da un lato nel lambda-beta-eta-calcolo con applicazioni nella programmazione funzionale.
1991 Piperno, Adolfo
Must preorder in non-deterministic untyped lambda-calculus
1992 De'Liguoro, ; Piperno, Adolfo
A Note on Optimal Area Algorithms for Upward Drawings of Binary Trees
1992 Crescenzi, P.; DI BATTISTA, G.; Piperno, Adolfo
Retracts in simply typed lambda-beta-eta-calculus
1992 De'Liguoro, U.; Piperno, Adolfo; Statman, R.
Filter Models for a Parallel and Non-deterministic lambda-calculus
1993 DEZANI CIANCAGLINI, M.; De'Liguoro, U.; Piperno, Adolfo
Lambda-definition of Function(al)s by Normal Forms
1994 Böhm, C.; Guerrini, S.; Piperno, Adolfo
Optimal-area upward drawings of AVL trees
1994 Crescenzi, P.; Piperno, Adolfo
Type Inference and Extensionality
1994 Piperno, Adolfo; RONCHI DELLA ROCCA, S.
Expanding Extensional Polymorphism
1995 Roberto Di, Cosmo; Piperno, Adolfo
Non-deterministic extensions of untyped lambda-calculus
1995 De'Liguoro, U.; Piperno, Adolfo
Normalization and Extensionality
1995 Piperno, Adolfo
Filter Models for Conjunctive-Disjunctive lambda-calculi
1996 DEZANI CIANCAGLINI, M.; De'Liguoro, U.; Piperno, Adolfo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile