The Curry-Howard isomorphism is a correspondence between logical formulas and types. The central idea is that each type τ corresponds to a logical formula φ, and that a proof that some expression e is well-formed with respect to type τ , (i.e., e : τ) corresponds to a proof that the logical formula φ is logically valid. Many variations of classical logic have been developed, especially in the l...

abstract background: many factors have been mentioned to influence decision‑making for different kinds of delivery. decision‑making for vaginal delivery is under the influence of culture, perceptions, beliefs, values, attitudes, personalities, and knowledge. the current study aims at exploring the determinants of decision‑making for vaginal delivery in the north of iran from women’s perspective...

For decades, there have been three primary anthropological perspectives on why people make war: materialist, cultural, and biological. Each has a long history of application to the Yanomami. This paper considers these three alternatives. First, it summarizes the author’s materialist models and what they are purported to explain. Second, it discusses more cultural explanations offered by several...

This study focuses on suicide among the Tikúna Indians on the Upper Solimões River in the Brazilian Amazonia. The very nature of the object requires an interdisciplinary approach. The ethnography is concerned with capturing links among suicides occurring over the last decade, in the process of confrontation between different factions or groups that express, in the present, an older historical c...

One of the main challenges for teaching programs on immigration, ethnic diversity and health is to transform the commonplace notion of "culture" into a helpful tool for medical training and practice. This paper presents the teaching approach of an interdisciplinary course on "migrants' health" established at the University of Giessen since 2004, which has recently been complemented by a themati...

This article takes the reader inside four border security fairs in Europe and North America to examine the knowledge practices of border security professionals. Building on the border security as practice research agenda, the analysis focuses on the production, circulation, and consumption of scarce forms of knowledge. To explore situated knowledge of border security practices, I develop an app...