Sentence examples for dependent type from inspiring English sources

This observation indicates that HqD from strain SJ98 belongs to 'Ferrous ion dependent type II hydroquinone dioxygenase.

The type theory we consider here is the constructive dependent type theory (CDTT) introduced[1] by Per Martin-Löf Martin-Löf2, 1975).

Surprisingly, Hofmann and Streicher 1996 designed a model of dependent type theory where this is not valid, that is a model where they can be different proofs that two elements are equal.

A key contribution of this work is the design of an imperative dependent type system for Hoare triples, which corresponds to classical logic, but where the famous consequence rule is admissible.

Utilizing this property a reagentless biosensor has been developed for the detection of beta amyloids, a hallmark of neurodegenerative diseases like Alzheimer's disease, Creutzfeldt-Jakob Syndrome, insulin dependent type II diabetes etc.

We found severe excess mortality among clients with type 1 and insulin dependent type 2 diabetes.

A. "Nose and ear hair is a typically male-hormone-dependent type of hair," said Dr. Vera Price, a professor in the department of dermatology at the University of California at San Francisco, "and certainly there is less opposition by female hormones like estrogen as we age, which is probably why the hair is longer".

The purpose of this study was to evaluate whether cardiac Fas-dependent (type I) and mitochondria-dependent (type II) apoptotic pathways are activated in ovariectomized rats.

Her past medical history was significant for insulin-dependent type 2 diabetes mellitus, hypertension, and hypercholesterolemia.

PTA is performed for patients with labile, poorly controlled insulin-dependent type 1 DM with stable renal function.

In [11], Li et al. argued that the prey population should have an age structure and they assumed that the functional response is of predator-dependent type.