LFCS reports 2003

Since January 2000, LFCS technical reports have appeared as part of the Division of Informatics report series.

The Division does not yet maintain an archive of PhD theses, so these are still published by LFCS and are listed below.

• Games for Modal and Temporal Logics
  Martin Lange
  
  
• Game Semantics and Subtyping
  Juliusz Chroboczek
  
  
• Abstraction Barriers and Refinement in the Polymorphic Lambda Calculus
  Jo Erskine Hannay