Final semantics for untyped lambdacalculus (1995)

by Furio Honsell, Marina Lenisa
Venue:In Proc. Int’l Conf. on Typed Lambda Calculi and Applications (TLCA