On the representation of data in lambda-calculus (1990)

by Michel Parigot
Venue:In 3rd Workshop on Computer Science Logic, Proceedings, volume 440 of LNCS