On the Representation of Data in Lambda-Calculus.

Michel Parigot

Browse the full CSL paper archive.