Searching for authors named "Franco Barbanera" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
The Simply-Typed Theory of β-conversion has no maximum extension
- …The Simply-Typed Theory of fi-conversion has no maximum extension Franco Barbanera Stefano Berardi…
- Add To MetaCart
-
Alias and Union Types for Delegation
- …, Technology and Medicine 180 Queen’s Gate, London SW7 2BZ, U.K. cla97@(email omitted); Franco Barbanera…
- Cited by 5 (0 self) – Add To MetaCart
-
Intersection Types and Lambda Models
- … Via delle Scienze, 206 33100 Udine (Italy) alessi@(email omitted); Franco Barbanera b,1 b Dip. di…
- Cited by 5 (0 self) – Add To MetaCart
-
Extracting constructive content from classical logic via control-like reductions
- … Extracting Constructive Content from Classical Logic via Control-like Reductions Franco…
- Cited by 25 (1 self) – Add To MetaCart
-
"Classical" programming-with-proofs in $\lambda^{Sym}_{PA}$: an analysis of non-confluence
- …"Classical" programming-with-proofs in Sym PA : an analysis of non-confluence Franco Barbanera…
- Add To MetaCart
-
Can Addresses be Types? (a case study: objects with delegation)
- … Queen’s Gate, London SW7 2BZ, U.K. Franco Barbanera 2,5 Dipartimento di Matematica e Informatica…
- Cited by 9 (2 self) – Add To MetaCart
-
A Type Inference Algorithm for Secure Ambients
- …://www.elsevier.nl/locate/entcs/volume??.html 14 pages A Type Inference Algorithm for Secure Ambients Franco Barbanera, a Mariangiola Dezani…
- Cited by 4 (3 self) – Add To MetaCart
-
Modularity of Strong Normalization in the Algebraic-λ-cube
- … in the Algebraic--cube Franco BARBANERA Maribel FERN ' ANDEZ Herman GEUVERS LIENS - 96 - 8 May 1996…
- Cited by 2 (0 self) – Add To MetaCart
-
Modularity of Strong Normalization and Confluence in the algebraic-lambda-cube
- … 1 Modularity of Strong Normalization and Confluence in the algebraic--cube Franco Barbanera…
- Cited by 26 (7 self) – Add To MetaCart
-
Extended Abstract
- …-rule ? Extended Abstract Steffen van Bakel1, Franco Barbanera2, and Maribel Fern'andez3 1 Department…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
