Final Semantics for untyped -calculus (1995)

by M Lenisa F Honsell
Venue:TLCA'95 Conference Proceedings, Springer LNCS, 902