Graded modalities have been proposed in recent work on programming languages as a general framework for refining type systems with intensional properties. In particular, continuous endomaps of the discrete time scale, or warps, can be used to quantify growth information course program execution. Time warps form complete residuated lattice, residuals playing an important role potential applicati...

Background & Aims: Hepatitis B virus is one of the causes of acute and chronic hepatitis. Due to multiple hospitalization and blood transfusion, thalassaemic patients are at higher risk of this infection. Duration of the immunity after vaccination in this high-risk group and the need for booster vaccination is uncertain. The aim of this study was to find antibody titration and immunity to Hepat...