( en | de | ru )

 

  3. Chung-Kil Hur

Chung-Kil Hur

Categorical equational systems : algebraic models and equational reasoning.
. University of Cambridge, UK, (2010)British Library, EThOS.
  •  :
  •  :
далее