Abstract theories in HOL (0)

by Phil Windley
Venue:In L. Claesen and M