scholarly journals The 812-carat pure Type IaB constellation diamond from Karowe – part of an even larger rough?

2019 ◽  
Keyword(s):  
Pure Type

scholarly journals Automath and Pure Type Systems

2003 ◽  
Vol 85 (7) ◽  
pp. 30-49
Author(s):  
Fairouz Kamareddine ◽  
Twan Laan ◽  
Rob Nederpelt
Keyword(s):  
Type Systems ◽  
Pure Type ◽  
Pure Type Systems

scholarly journals Magnetic Structures in Pure Type-II Superconductors

1973 ◽  
Vol 50 (4) ◽  
pp. 1194-1215 ◽  
Author(s):  
Yasushi Wada ◽  
Yoshio Tamura
Keyword(s):  
Type Ii ◽  
Magnetic Structures ◽  
Type Ii Superconductors ◽  
Pure Type

scholarly journals Weak normalization implies strong normalization in a class of non-dependent pure type systems

2001 ◽  
Vol 269 (1-2) ◽  
pp. 317-361 ◽  
Author(s):  
Gilles Barthe ◽  
John Hatcliff ◽  
Morten Heine Sørensen
Keyword(s):  
Type Systems ◽  
Strong Normalization ◽  
Pure Type ◽  
Pure Type Systems

scholarly journals Pure Type Systems without Explicit Contexts

2010 ◽  
Vol 34 ◽  
pp. 53-67 ◽  
Author(s):  
Herman Geuvers ◽  
Robbert Krebbers ◽  
James McKinna ◽  
Freek Wiedijk
Keyword(s):  
Type Systems ◽  
Pure Type ◽  
Pure Type Systems

scholarly journals Fate of Pure Type II Endoleaks Following Endovascular Aneurysm Repair

2019 ◽  
Vol 35 (3) ◽  
pp. 129-136 ◽  
Author(s):  
Ji-Young Kim ◽  
Eol Choi ◽  
Yong-Pil Cho ◽  
Youngjin Han ◽  
Tae-Won Kwon
Keyword(s):  
Endovascular Aneurysm Repair ◽  
Type Ii ◽  
Pure Type ◽  
Aneurysm Repair

scholarly journals Neuroendocrine differentiation in pure type mammary mucinous carcinoma is associated with favorable histologic and immunohistochemical parameters

2004 ◽  
Vol 17 (5) ◽  
pp. 568-572 ◽  
Author(s):  
Gary M K Tse ◽  
Tony K F Ma ◽  
Winnie C W Chu ◽  
Wynnie W M Lam ◽  
Cycles S P Poon ◽  
...  
Keyword(s):  
Neuroendocrine Differentiation ◽  
Mucinous Carcinoma ◽  
Pure Type

Magnetic properties of pure type-II superconductors

1972 ◽  
Vol 42 (4) ◽  
pp. 287-288 ◽  
Author(s):  
F. Mancini ◽  
H. Umezawa
Keyword(s):  
Magnetic Properties ◽  
Type Ii ◽  
Type Ii Superconductors ◽  
Pure Type
Sign in / Sign up

Export Citation Format

Share Document