Modal dependent type theory and dependent right adjoints
- 期刊名称Mathematical Structures in Computer Science
- 作者Birkedal, Lars; Clouston, Ranald; Mannaa, Bassel; Ejlers Møgelberg, Rasmus; Pitts, Andrew M.; Spitters, Bas
- 印刷ISSN0960-1295
- 电子ISSN1469-8072
- 文件大小388.18KB
- 发表时间2019-12-12
- DOI10.1017/S0960129519000197
- 页码1-21
Birth order, birth weight and later patterns of growthGary Diamond; Jacob Zalzberg; Dov Inbar; Zvi Cohen; Yoseph Laks; Diklah Geva; Tsachi Grossman; Herbert J Cohen · 2001
T1799A <i>BRAF</i> Mutations in Conjunctival Melanocytic LesionsGoldenberg-Cohen, Nitza; Cohen, Yoram; Rosenbaum, Eli; Herscovici, Zvi; Chowers, Itay; Weinberger, Dov; Pe’er, Jacob; Sidransky, David · Investigative Opthalmology & Visual Science · 2005
The hard embodiment of cultureDov Cohen; Angela K.-Y. Leung · 2009
Laparoscopic myomectomy during pregnancyDov Luxman; Jacob R. Cohen; Menachem P. David · 1998
Vaccine-induced AutoimmunityArnon Dov Cohen; Yehuda Shoenfeld · 1996
The Viral-Autoimmunity RelationshipCOHEN, ARNON DOV; SHOENFELD, YEHUDA · Viral Immunology · 1995
Optimal Disturbances in Swirling FlowsBen-Dov, Guy; Levinski, Vladimir; Cohen, Jacob · AIAA Journal · 2004
Sublimation, culture, and creativity.Kim, Emily; Zeppenfeld, Veronika; Cohen, Dov · Journal of Personality and Social Psychology · 2013
You say you want a revolution?Alicke, Mark · Behavioral and Brain Sciences · 2012
Counterfactuality in counterintuitive religious conceptsBarrett, Justin L. · Behavioral and Brain Sciences · 2004
Tactical deception in primatesWhiten, A.; Byrne, R. W. · Behavioral and Brain Sciences · 1988
Circadian pacemakers and feeding rhythmsNunez, Antonio A. · Behavioral and Brain Sciences · 1981
Behavior genetics and postgenomicsCharney, Evan · Behavioral and Brain Sciences · 2012
Towards a universal model of readingFrost, Ram · Behavioral and Brain Sciences · 2012
The evolution of misbeliefMcKay, Ryan T.; Dennett, Daniel C. · Behavioral and Brain Sciences · 2009
Mathematical principles of reinforcementKilleen, Peter R. · Behavioral and Brain Sciences · 1994