Eduard Čech

The authors summarize possibilities of hormonal treatment of non-malignant diseases of the mammary gland. Attention is paid in particular to progestins (progesterone, derivatives of hydroxyprogesterone, derivatives of 19 nor-testosterone), …

In this article, we extend the Barendregt Cube with ¿-conversion (which is the analogue of ß-conversion, on product type level) and study its properties. We use this extension to separate the problem of whether a term is typable from the pr…