The paper presents an analysis of the interpretation of recursive types as logical relations in the framework of iterative algebraic theories. This allows a smoother presentation of the underlying technique, and easier proofs of properties of the interpretation.

background: health-related professionals are at high risk of job burnout which will in turn lead to effects on health services provision. the present study was conducted to define job burnout and its association with personal characteristics among the midwives working in isfahan, iran. materials and methods: this descriptive correlational study was performed on 193 midwives working in health ce...

This chapter is concerned with my interrelated theoretical work in the areas of cooperation competition, conflict resolution, social justice, and social relations. The theory of cooperation competition is a component of the other theories. Thus, the theory of conflict resolution is based on this theory and my Crude Law of Social Relations. My work in social justice is also based on this theory,...

A major trend in information society is the integration of personal information from different sources. Digital data about persons, their behavior, their content and their social structure is merged into the personal information sphere; a multi-dimensional space containing information related to a person. In the research project di.me 1 , funded by the EC, a so called userware is developed to s...

Study 1 examined whether cultural estrangement arises from discrepancies between personal and societal values (e.g., freedom) rather than from discrepancies in attitudes toward political (e.g., censorship) or mundane (e.g., pizza) objects. The relations between different types of value discrepancies, estrangement, subjective well-being, and need for uniqueness also were examined. Results indica...

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...

Based on a contrastive approach that compares the argumentative genre of editorial with the narrative genre of personal narrative across two production modes, single-authored data and data elicited in an editing-based task, this paper examines the impact of genre on the realizations of discourse relations, paying particular attention to the argumentative genre and its preferential realizations ...

Reigning measures of psychological well-being have little theoretical grounding, despite an extensive literature on the contours of positive functioning. Aspects of well-being derived from this literature (i.e., self-acceptance, positive relations with others, autonomy, environmental mastery, purpose in life, and personal growth) were operationalized. Three hundred and twenty-one men and women,...