t' 30 - if t = G i (~"), t' : t. (~" l t"' then (~) / ~). = t. (~"/ ~), l the two p r e v i o u s We can n o w p r o v e c y(S). 37. D. 38 w i t h since that L c L. examples. inclusion t= Gi(~), = ) = Y(S), inclusion, by i n d u c t i o n on a few s i m p l e We p r o v e .
Algebraic semantics by Irène Guessarian (auth.)
by Thomas
4.5
Rated
5 –
based on
votes
of