Using lattice theory in higher order logic (0)

by L Laibinis
Venue:In von Wright et al