LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic
TR-2006-83, Authors: Lars Birkedal, Rasmus L. Petersen, Rasmus E. Møgelberg and C. Varming
LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic
February 2006
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.
Technical report TR-2006-83 in IT University Technical Report Series, February 2006.
Available as PDF.