Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and - Curry–Howard correspondence - Document - PDFSEARCH.IO

First Page	Meta Content
	Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients and Add to Reading List Document Date: 2012-02-24 11:21:41 Open Document File Size: 161,60 KB Share Result on Facebook City Irbid / Arcticle / Jinan / Guangzhou / / Company Shangdong Science Technic Press / Cambridge University Press / Jordan Journal / / Country Jordan / / Currency USD / / / Facility Yarmouk University / Guangdong Education Institute / / IndustryTerm linear operator / / Organization Cambridge University / Department of Mathematics / Yarmouk University / Zhejiang University / Guangdong Education Institute / / Position mp / / ProvinceOrState Guangdong / / SocialTag Logic Computability theory Curry–Howard correspondence Logic in computer science Philosophy of computer science Type theory Symbol Mathematical logic Mathematics Proof theory

Jordan Journal of Mathematics and Statistics (JJMS) 3(3), 2010, ppAN EXTENSION OF MULHOLLAND’S INEQUALITY BICHENG YANG Abstract. By introducing multi-parameters and using the way of weight coefficients andAdd to Reading List