LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic
Lars Birkedal, Rasmus Ejlers Møgelberg, Carsten Varming · IT University Of Copenhagen (IT University of Copenhagen) · 2006
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.