UP

Issues in the Semantics of Z

The Treatment of Undefinedness

Closure under Equality Substitutions

The Scope of Bindings


UP © RBJ 95/6/22 modified 96/7/25 HOME