Lambda definability with sums via Grothendieck logical relations (1999)

by M Fiore, A Simpson
Venue:In Proceedings of the 4th International Conference on Typed LambdaCalculi and Applications (TLCA’99