Abstract: A general notation is proposed which may be used to replace many specialized constructions in programming languages and logics, including variable-declaration blocks and quantified formulas.
Previous | Index | Next An error occured whilst processing this directive