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

by Michel Parigot
Venue:of Lecture Notes in Computer Science