Document Versions

Algebraic Reconstruction of Types and Effects –Pierre Jouvelot, David K. Gifford — 1991
Algebraic Reconstruction of Types and Effects –Pierre Jouvelot, et al.