Searched defs:Binding (Results 1 - 1 of 1) sorted by relevance

/hets/HasCASL/doc/
H A DStaticAna.tex214 \subsubsection{Binding terms}
216 Binding terms are quantified formulas, lambda terms, case- and

Completed in 10 milliseconds