推荐同事 机构合作 中文 繁體中文 English 한국어 日本語 Português Español

美国ACCDON公司旗下品牌

021-33361733,021-34243363

chinasupport@letpub.com

登录 注册 新注册优惠

[PDF] from psu.eduS Lindley, P Wadler… - Electronic Notes in Theoretical Computer …, 2011 - Elsevier
We revisit the connection between three notions of computation: Moggi s monads, Hughes s
arrows and McBride and Paterson s idioms (also called applicative functors). We show that idioms
are equivalent to arrows that satisfy the type isomorphism A rightwards wave arrow B ...
Cited by 10 - Related articles - All 9 versions
G Otto, M Hoppe-Lotichius, F Bittinger… - Z …, 2011 - thieme-connect.com
Hintergrund: Operatives Vorgehen stellt die einzige potenziell kurative Therapie des hilären
Cholangiokarzinoms (hilCC) dar. Höhere Resektionsraten in asiatischen Ländern lassen die
Vermutung aufkommen, dass dies durch minutiöse präoperative Diagnostik bedingt ist. ...
Related articles - All 3 versions

[CITATION] A Meticulous Serenity: The Prints of Clinton Adams, 1948-1997: a Catalogue Raisonné

RP Conway, C Adams, D Acton… - 2011 - University of New Mexico Press
C Dent - Journal of Sociology, 2011 - jos.sagepub.com
Patents are seen as a key part of the modern economy and operate as a mode of regulation
of technology and innovation. The histories of the system, to date, have not explored the role
that patents have in the governance of our society. This article suggests that the historical ...
Related articles

[CITATION] Femoral Access PCI has Very Low Bleeding Rates when Performed by Experienced Operators using Meticulous Technique

J Chandrasekhar… - Heart, Lung and Circulation, 2011 - Elsevier

联系我们 | 站点地图 | 友情链接 | 授权代理商 | 加入我们

© 2010-2024 中国: LetPub上海    网站备案号:沪ICP备10217908号-1    沪公网安备号:31010402006960 (网站)31010405000484 (蝌蝌APP)

增值电信业务经营许可证:沪B2-20211595    网络文化经营许可证:沪网文[2023]2004-152号

礼翰商务信息咨询(上海)有限公司      办公地址:上海市徐汇区漕溪北路88号圣爱大厦1803室