1998-1999 school year poses the question of how the United States should change its foreign policy toward Russia. Although debate about foreign policy has been relegated to a back-seat compared to domestic issues by the American public, the academic community in international relations (IR) has been energized by the end of the Cold War. The Russia topic will provide a challenging opportunity fo...

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.

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...