LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

Lars Birkedal; Rasmus Lerchedal Petersen; Rasmus Ejlers Møgelberg; Carsten Varming

LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

Lars Birkedal, Rasmus Lerchedal Petersen, Rasmus Ejlers Møgelberg, Carsten Varming

Publikation: Bog / Antologi / Rapport / Ph.D.-afhandling › Rapport › Forskning

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.

Originalsprog	Engelsk

Udgivelsessted	copenhagen
Forlag	IT-Universitetet i København
Udgave	TR-2006-83
Antal sider	99
ISBN (Elektronisk)	87-7949-122-7
Status	Udgivet - feb. 2006

Navn	IT University Technical Report Series
Nummer	TR-2006-83
ISSN	1600-6100

Adgang til dokumentet

ITU-TR-2006-83 pdfForlagets udgivne version, 855 KB

Citationsformater

@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.",

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",

}

TY - RPRT

T1 - LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

AU - Birkedal, Lars

AU - Petersen, Rasmus Lerchedal

AU - Ejlers Møgelberg, Rasmus

AU - Varming, Carsten

PY - 2006/2

Y1 - 2006/2

N2 - 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.

AB - 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.

M3 - Report

T3 - IT University Technical Report Series

BT - LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

PB - IT-Universitetet i København

CY - copenhagen

ER -

LILY Operational Semantics and Models of Linear Abadi-Plotkin Logic

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater