On Typed Calculi with a Merge Operator (1994)

Cached

Download Links

by Hideki Tsuiki
Venue:In 14th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 880
Citations:5 - 3 self