Final Semantics for a Higher Order Concurrent Language (1995)

by Marina Lenisa
Venue:CAAP'96 Conference Proceedings, H.Kirchner ed., Springer LNCS