An Intensional Type Theory: Motivation and Cut-Elimination
- 期刊名称The Journal of Symbolic Logic
- 作者Paul C. Gilmore
- 卷第66卷
- 期第1期
- 印刷ISSN0022-4812
- 文件大小362.21KB
- 发表时间2001-03
- DOI10.2307/2694928
- 页码383-400
Functional cationic derivatives of starch as antimicrobial agentsVenkataraman, Shrinivas; Lee, Ashlynn L. Z.; Tan, Jeremy P. K.; Ng, Yi Chien; Lin, Amelia Lee Yi; Yong, Jaron Y. K.; Yi, Guangshun; Zhang, Yugen; Lim, Ivor J.; Phan, Thang T.; Yang, Yi Yan · Polymer Chemistry · 2019
A common variant near TGFBR3 is associated with primary open angle glaucomaLi, Z.; Allingham, R. R.; Nakano, M.; Jia, L.; Chen, Y.; Ikeda, Y.; Mani, B.; Chen, L.-J.; Kee, C.; Garway-Heath, D. F.; Sripriya, S.; Fuse, N.; Abu-Amero, K. K.; Huang, C.; Namburi, P.; Burdon, K.; Perera, S. A.; Gharahkhani, P.; Lin, Y.; Ueno, M.; Ozaki, M.; Mizoguchi, T.; Krishnadas, S. R.; Osman, E. A.; Lee, M. C.; Chan, A. S. Y.; Tajudin, L.-S. A.; Do, T.; Goncalves, A.; Reynier, P.; Zhang, H.; Bourne, R.; Goh, D.; Broadway, D.; Husain, R.; Negi, A. K.; Su, D. H.; Ho, C.-L.; Blanco, A. A.; Leung, C. K. S.; Wong, T. T.; Yakub, A.; Liu, Y.; Nongpiur, M. E.; Han, J. C.; Hon, D. N.; Shantha, B.; Zhao, B.; Sang, J.; Zhang, N.; Sato, R.; Yoshii, K.; Panda-Jonas, S.; Ashley Koch, A. E.; Herndon, L. W.; Moroi, S. E.; Challa, P.; Foo, J. N.; Bei, J.-X.; Zeng, Y.-X.; Simmons, C. P.; Bich Chau, T. N.; Sharmila, P. F.; Chew, M.; Lim, B.; Tam, P. O. S.; Chua, E.; Ng, X. Y.; Yong, V. H. K.; Chong, Y. F.; Meah, W. Y.; Vijayan, S.; Seongsoo, S.; Xu, W.; Teo, Y. Y.; Cooke Bailey, J. N.; Kang, J. H.; Haines, J. L.; Cheng, C. Y.; Saw, S.-M.; Tai, E.-S.; Richards, J. E.; Ritch, R.; Gaasterland, D. E.; Pasquale, L. R.; Liu, J.; Jonas, J. B.; Milea, D.; George, R.; Al-Obeidan, S. A.; Mori, K.; Macgregor, S.; Hewitt, A. W.; Girkin, C. A.; Zhang, M.; Sundaresan, P.; Vijaya, L.; Mackey, D. A.; Wong, T. Y.; Craig, J. E.; Sun, X.; Kinoshita, S.; Wiggs, J. L.; Khor, C.-C.; Yang, Z.; Pang, C. P.; Wang, N.; Hauser, M. A.; Tashiro, K.; Aung, T.; Vithana, E. N. · Human Molecular Genetics · 2015
Exome-wide association analysis reveals novel coding sequence variants associated with lipid traits in ChineseTang, Clara S.; Zhang, He; Cheung, Chloe Y. Y.; Xu, Ming; Ho, Jenny C. Y.; Zhou, Wei; Cherny, Stacey S.; Zhang, Yan; Holmen, Oddgeir; Au, Ka-Wing; Yu, Haiyi; Xu, Lin; Jia, Jia; Porsch, Robert M.; Sun, Lijie; Xu, Weixian; Zheng, Huiping; Wong, Lai-Yung; Mu, Yiming; Dou, Jingtao; Fong, Carol H. Y.; Wang, Shuyu; Hong, Xueyu; Dong, Liguang; Liao, Yanhua; Wang, Jiansong; Lam, Levina S. M.; Su, Xi; Yan, Hua; Yang, Min-Lee; Chen, Jin; Siu, Chung-Wah; Xie, Gaoqiang; Woo, Yu-Cho; Wu, Yangfeng; Tan, Kathryn C. B.; Hveem, Kristian; Cheung, Bernard M. Y.; Zöllner, Sebastian; Xu, Aimin; Eugene Chen, Y; Jiang, Chao Qiang; Zhang, Youyi; Lam, Tai-Hing; Ganesh, Santhi K.; Huo, Yong; Sham, Pak C.; Lam, Karen S. L.; Willer, Cristen J.; Tse, Hung-Fat; Gao, Wei · Nature Communications · 2015
[WORLD SCIENTIFIC Proceedings of the ISRM International Symposium 2006 and the 4th Asian Rock Mechanics Symposium - Singapore (8 – 10 November 2006)] Rock Mechanics in Underground Construction - EXTENDED ABSTRACTS: 4. BLASTING AND DYNAMICSCHA, M. S.; CHO, G. C.; CHEN, JUN; LI, JIANCHUN; MA, GUOWEI; ZHOU, YINGXIN; CHEN, SHIHAI; DAI, J.; LEI, W. D.; ZHAO, J.; HEFNY, A. M.; TENG, J.; LI, J. C.; YU, M. H.; MA, G. W.; LIU, X.; LI, L.; LI, T.; LI, XIN-PING; ZHANG, CHENG-LIANG; WANG, TAO; LI, YOU-HUA; DAI, YI-FEI; LIN, CONGMOU; YANG, LINDE; CUI, JIHONG; LU, W. B.; YAN, P.; ZHOU, C. B.; MA, QIN-YONG; PARK, B. K.; JEON, S.; PARK, G. J.; QIAO, DENGPAN; RESENDE, R.; LEMOS, J. V.; SASAO, HARUO; ASAKURA, TOSHIHIRO; SEAH, C. C.; BØRVIK, T.; REMSETH, S.; PAN, T. C.; SHIM, H. J.; RYU, D. W.; HAN, C. Y.; AHN, S. M.; SIM, Y. J.; CHO, G. C.; SUN, HUORAN; CHEN, QINGKAI; WANG, SHUHONG; NIU, XIAOBO; CHEN, WENLIN; WANG, X. J.; MA, G. W.; WU, CONGSHI; CHEN, XIN; XU, ZEPEI; ZHANG, QINGBIN; XIA, XIANG; LI, JUN-RU; LI, HAI-BO; WANG, XIAO-WEI; ZHOU, QING-CHUN; ZHAO, X. B.; CAI, J. G.; ZHAO, J.; MA, G. W.; LI, H. B.; ZHAO, Z.; GU, J.; ZHOU, Q. J.; GONG, B. N.; LI, T. C.
Analysis of Rotating Crack ModelJirásek, Milan; Zimmermann, Thomas · Journal of Engineering Mechanics · 1998
Nonlocal Damage TheoryPijaudier‐Cabot, Gilles; Bažant, Zdeněk P. · Journal of Engineering Mechanics · 1987
Optimal Stabilization of Column BucklingChase, J. Geoffrey; Yim, Mark · Journal of Engineering Mechanics · 1999
Vibration Suppression with Resettable DeviceJabbari, Faryar; Bobrow, James E. · Journal of Engineering Mechanics · 2002
Continuum Micromechanics: SurveyZaoui, André · Journal of Engineering Mechanics · 2002
Footing Response to Horizontal VibrationNagendra, M. V.; Sridharan, A. · Journal of Engineering Mechanics · 1984
Nonlinear Hydrodynamic Pressure on DamsHung, Tin‐Kan; Chen, Bang‐Fuh · Journal of Engineering Mechanics · 1990
Equations of Curved BeamsRajasekaran, Sundaramoorthy; Padmanabhan, S. · Journal of Engineering Mechanics · 1989