A Context Logic for Tree Update (2004)

by Cristiano Calcagno , Philippa Gardner , Uri Zarfaty
Venue:In Proceedings of Workshop on Logics for Resources, Processes and Programs (LRPP’04
Citations:44 - 10 self