- Franco Barbanera, Mariangiola Dezani-Ciancaglini, and Ugo de'Liguoro. Intersection and union
types: Syntax and semantics. Information and
Computation, 119(2):202-230, June 1995.
Abstract,
References,
and Citations.
- Franco Barbanera and Stefano Berardi. A symmetric lambda calculus for
classical program extraction. Information and
Computation, 125(2):103-117, 15 March 1996.
Abstract,
References,
Citations,
etc.
- Franco Barbanera and Stefano Berardi. The simply-typed theory of
beta-conversion has no maximum extension. Information and
Computation, 139(1):57-61, 25 November 1997.
Abstract
and References.
Shortcuts: