Skip to search formSkip to main contentSkip to account menu

Mycobacterium phage HelDan

Known as: Mycobacteriophage HelDan 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
We adopt the untyped imperative object calculus of Abadi and Cardelli as a minimal setting in which to study problems of…