Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
“.... The semantics is basically denotation. The mathematics may be classified as category theory, lattice theory...”