Searching for authors named "Adolfo Piperno" – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Normalization of Typable Terms by Superdevelopments
- …Normalization of Typable Terms by Superdevelopments Zurab Khasidashvili 1 ? and Adolfo Piperno…
- Cited by 2 (1 self) – Add To MetaCart
-
Non-Deterministic Extensions of Untyped λ-calculus
- …Non deterministic extensions of untyped -calculus Ugo de'Liguoro and Adolfo Piperno Dipartimento…
- Add To MetaCart
-
A Filter Model for Concurrent -Calculus
- …'LIGUORO DIPARTIMENTO DI INFORMATICA UNIVERSITA DI TORINO CORSO SVIZZERA 185 10149 TORINO (ITALY) ADOLFO PIPERNO…
- Cited by 7 (7 self) – Add To MetaCart
-
Filter Models for Conjunctive-Disjunctive λ-calculi
- …'Liguoro 1 Adolfo Piperno 2 1 Dipartimento di Informatica, Universit`a di Torino Corso Svizzera 185, 10149…
- Cited by 8 (6 self) – Add To MetaCart
-
A Filter Model for Concurrent λ-Calculus
- …'LIGUORO DIPARTIMENTO DI INFORMATICA UNIVERSIT ` A DI TORINO CORSO SVIZZERA 185 10149 TORINO (ITALY) ADOLFO PIPERNO…
- Cited by 1 (1 self) – Add To MetaCart
-
Böhm’s Theorem
- …Böhm’s Theorem Stefano Guerrini ∗ Adolfo Piperno ∗ Mariangiola Dezani-Ciancaglini † under…
- Add To MetaCart
-
Expanding Extensional Polymorphism
- …Expanding Extensional Polymorphism ? Roberto Di Cosmo 1 Adolfo Piperno 2 1 DMI-LIENS - Ecole…
- Cited by 9 (2 self) – Add To MetaCart
Showing 1 through 7.
