Bi hyperdoctrines, higher-order separation logic, and abstraction (2005)

by Bodil Biering , Lars Birkedal , Noah Torp-Smith
Venue:IN ESOP’05, LNCS
Citations:57 - 22 self