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

L. Birkedal
R.L. Petersen
R.E. Møgelberg
C. Varming

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.