Final Semantics for untyped -calculus, M.Dezani et al. eds (1995)

by M Lenisa F Honsell
Venue:TLCA'95 Springer LNCS, 902:249--265