Final Semantics for a Higher Order Concurrent Language (1995)

Cached

Download Links

by Marina Lenisa
Venue:CAAP'96 Conference Proceedings, H.Kirchner ed., Springer LNCS
Citations:15 - 11 self