Algebraic theories and algebraic categories offer an innovative and revelatory description of the syntax and the semantics. An algebraic theory is a concrete mathematical object -- the concept -- namely a set of variables together with...

Lire la suite