Results 251 to 252 of about 20,046 (252)
Some of the next articles are maybe not open access.
American Heart Journal, 2006
In patients with coronary artery disease (CAD), therapies designed to prevent clinical events are not always associated with significant reduction in coronary obstruction, as measured by quantitative coronary angiography. We set out to explore the relationship between quantitative coronary angiography parameters, baseline characteristics, and clinical ...
Sorin J, Brener +7 more
openaire +2 more sources
In patients with coronary artery disease (CAD), therapies designed to prevent clinical events are not always associated with significant reduction in coronary obstruction, as measured by quantitative coronary angiography. We set out to explore the relationship between quantitative coronary angiography parameters, baseline characteristics, and clinical ...
Sorin J, Brener +7 more
openaire +2 more sources
2013
We present a core Martin-Lof type theory with subtyping; it has a cumulative hierarchy of universes and the contravariant rule for subtyping between dependent product types. We extend to this calculus the normalisation by evaluation technique defined for a variant of MLTT without subtyping.
Daniel Fridlender, Miguel Pagano
openaire +1 more source
We present a core Martin-Lof type theory with subtyping; it has a cumulative hierarchy of universes and the contravariant rule for subtyping between dependent product types. We extend to this calculus the normalisation by evaluation technique defined for a variant of MLTT without subtyping.
Daniel Fridlender, Miguel Pagano
openaire +1 more source