hemolectin protein, Drosophila

Known as: Hml protein, Drosophila, d-Hml protein, Drosophila

National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

1996

We present a verification of a distributed sorting algorithm in ALF, an implementation of Martin L¨of's type theory. The…