Logical Methods in Computer Science

1.	A Type System For Call-By-Name Exceptions
	Sylvain Lebresne


2.	A Step-indexed Semantics of Imperative Objects
	Catalin Hritcu and Jan Schwinghammer


3.	Infinitary Combinatory Reduction Systems: Confluence
	Jeroen Ketema and Jakob Grue Simonsen


4.	The Complexity of Infinite Computations In Models of Set Theory
	Olivier Finkel


5.	Computation Tree Logic with Deadlock Detection
	Rob van Glabbeek, Bas Luttik and Nikola Trčka


6.	Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
	Damiano Mazza