Higher-Order Separation Logic (0)

by C Varming, L Birkedal
Venue:in Isabelle/HOLCF. Electronic Notes in Theoretical Computer Science