Stefano Berardi
Stefano Berardi.
Retractions on di-domains as a model for type:type.
Information and Computation
, 94(2):204-231, October 1991.
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:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database