@book{24d4ecdeb6ba43ca8159d5a1b2852f1a,
title = "LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic",
abstract = "This technical report includes complementary material to the article of the same name submitted for LICS. It has been assembled mostly to aid referees reading the article, and to demonstrate that all calculations have been carried out in detail.",
keywords = "supplementary-material, appendix, logic-in-computer-science, formal-methods, detailed-calculations",
author = "Lars Birkedal and Petersen, \{Rasmus Lerchedal\} and \{Ejlers M{\o}gelberg\}, Rasmus and Carsten Varming",
year = "2006",
month = feb,
language = "English",
series = "IT University Technical Report Series",
number = "TR-2006-83",
publisher = "IT-Universitetet i K{\o}benhavn",
address = "Denmark",
edition = "TR-2006-83",
}