Report - INFORMATIQUE THÉORIQUE ET APPLICATIONS · the denotational semantics defined by a greatest fixed point method (Arnold, Nivat [3, 4]); the so-called algebraic semantics which is obtained

Please pass captcha verification before submit form