LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic
- Lars Birkedal,
- Rasmus Lerchedal Petersen,
- Rasmus Ejlers Møgelberg,
- Carsten Varming
- University of Genoa
Research Output:
Book / Anthology / Report
Report
Open access
Publication Information
Output type
Research Output:
Book / Anthology / Report
Report
Original language
EnglishPublication milestones
- Published - 02/2006
Publication status
Published - 02/2006
Place of publication
copenhagenEdition
TR-2006-83Publisher
IT-Universitetet i København, DenmarkBook series
- Book series name: IT University Technical Report Series
Series number: TR-2006-83
ISSN: 1600-6100
ISBN (Electronic)
87-7949-122-7Abstract
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.
Access to documents
Final published version, 855.34 KB