Technical Reports - 2008

TR-2008-116, Authors: Troels C. Damgaard, Vincent Danos, and Jean Krivine

TR-2008-115, Authors: Troels C. Damgaard and Jean Krivine

TR-2008-112, Authors: Kasper Svendsen, Alexandre Buisse and Lars Birkedal

TR-2008-110, Authors: Ebbe Elsborg, Thomas T. Hildebrandt and Davide Sangiorgi

TR-2008-109, Authors: Jens Chr. Godskesen (IT University of Copenhagen) and Massimo Merro (University of Verona)

TR-2008-108, Authors: Daniele Gorla and Thomas Hildebrandt

TR-2008-107, Authors: Mai Lise Ajspur, Rune Møller Jensen, and Nicolas Guilbert

TR-2008-106, Authors: Mikkel Bundgaard, Jens Chr. Godskesen and Thomas Hildebrandt

TR-2008-105, Authors: Yvonne Dittrich and Sebastien Vaucouleur

TR-2008-104, Authors: M. K. Mochnacs, M. A. Tanaka, A. Nyborg and R. M. Jensen

TR-2008-103, Authors: Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebrandt, Espen Højsgaard and Henning Niss

TR-2008-102, Author: Steen Brahe