Prev Up
Go backward to 4.2.1 Atomic Formulae
Go up to 4.2 Axioms

4.2.2 Terms

  TERM             ::= ... | CAST
  • 4.2.2.1 Casts

  • CoFI Document: CASL/Summary --Version 0.99-- 21 April 1998.
    Comments to cofi-language@brics.dk

    Prev Up